AnnotatedTypeExtractor

An extractor class to create and pattern match with syntax
AnnotatedType(annotations, underlying).
Here, annotations are the annotations decorating the underlying type underlying.
selfSym is a symbol representing the annotated type itself.