Full type-checking for Ethereum app