Initial Version (fixed).
Annotation types are now sets. Added get-annotations-of-type.