     "context"
     "datatype"
     "datatype_new"
+    "datatype_new_compat"
     "declaration"
     "declare"
     "default_sort"

    "presume"
    "pretty_setmargin"
    "prf"
    "primrec"
    "print_abbrevs"
    "print_antiquotations"
    "print_ast_translation"

    "permissive"
    "pervasive"
    "rep_compat"
    "sequential"
    "shows"
    "structure"
    "type_class"
