Improve the set of annotation we process by restraining the annotated types to what the compiler provides