Remove aenv and annotation from the definitions

[pirapira]

Now it seems that the aenv is not going to be used. Solidity would indicate an assertion failure by 0xfe instruciton, which is detectable without aenv structure. This issue keeps track of removing aenv and Annotations from the codebase.