Well I am def not a legal expert to know if it is sufficient for the above purpose and if we can ever create a lang for smart contracts that is expressive enoug

Well I am def not a legal expert to know if it is sufficient for the above purpose and if we can ever create a lang for smart contracts that is expressive enough, but it's cool to see things are happening.