Fixing the governance model is well and fine, but is the smart-contract language up to the task as well? We are mainly looking for fixes to the recursive-call plan interference bugs from Ethereum. It's not clear how to create closely-held values either.
https://www.tezos.com/static/papers/language.pdf