Fe: a new language for the Ethereum ecosystem