This post covers some high-level smart contract concepts that different opcodes or proposals could have (or not).

Interested to hear about other properties that you think are relevant!

Best,

Jeremy