Compiler & Language definition for the Ethereum project