Solidity expression compiler

Existential curlies.