Remove legacy annotations

library/annotation/package.scala

@@ -8,20 +8,12 @@ package object annotation {
   @ignore
   class library    extends StaticAnnotation
   @ignore
-  class verified   extends StaticAnnotation
-  @ignore
   class repair     extends StaticAnnotation
-
   @ignore
   class induct     extends StaticAnnotation
   @ignore
-  class axiomatize extends StaticAnnotation
-  @ignore
-  class main       extends StaticAnnotation
-  @ignore
   class extern     extends StaticAnnotation
   @ignore
   class ignore     extends StaticAnnotation
-
 }