Newly defined types for TypeAnnotatedIdentifier and TypeAnnotation