Warn if an extension uses inefficient PAT observers

E.g. when an extension declares a ProcessAnnotatedType<?> observer, warn and suggest a more specific type or @WithAnnotations to be used instead.