Solidity expression compiler

And here.