Why not just `ClassfileAnnotationClass`, given that `ClassFileAnnotation <: StaticAnnotation <:  Annotation`?