New relations with annotation information:
- annotation type declarations: type|annotation/1 
- annotation instances: annotation/1
- types with their annotation instances: type-annotation/2
- the type of an annotation instance: annotation-annotationtype/2
- key/value pairs of an annotation instance:  annotation-key-value/3