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