Changed Annotated type to be a records, AnnotatedDecl is now a synonym
Merge pull request #711 from ddrone/ann-refactoring

Changed Annotated type to be a record, AnnotatedDecl is now a synonym