add Annotations to the spec, with a formalized syntax;

Use the de facto syntax of "@tag(tag-signature)" in use in the wild as a formal syntax specification for annotations.