Reduce the support for annotations
Clarification and motivation
As mentioned in jakarta's announcement for Michelson:
The single semantic change is ignoring annotations. With Jakarta, annotations are only used by the type-checker and the interpreter to identify smart contract entry-points. Additional annotations still remain valid but they no longer carry any semantic meaning.
We want to achieve the same support and get rid of unnecessary complications in this repo as well.
In particular we want to be able to:
- maintain the same annotation parsing abilities as the reference implementations
- remove any type and computations from out code that is no longer necessary
- close existing related issues that no longer longer need to be addressed
Note: since this is a breaking change the MR for this should target the jakarta
branch until the protocol is activated on mainnet.
Acceptance criteria
- The annotation support is reduced to the minimum necessary for the
jakarta
protocol - There are no open issues for bugs or task that will be unnecessary after
jakarta
's activation