     "classes"
     "classrel"
     "codata"
-    "codata_raw"
     "code_abort"
     "code_class"
     "code_const"

    "overloaded"
    "permissive"
    "pervasive"
    "shows"
    "structure"
    "unchecked"

    "corollary"
    "cpodef"
    "data"
    "datatype"
    "declaration"
    "declare"
