Asserting that the annotated types are instance of TypeElement