EIP-1803: Rename opcodes for clarity

Discussion topic for

A comment about changing the title: https://github.com/ethereum/EIPs/pull/1803/#issuecomment-488119162