Finalizing annotation types


#1

We’ve been going back and forth around a proposal to simplify and make consistent the way to define the value of annotations, and we may have a final proposal on the table so please chime in:

Basically, annotation types would just extend data types.