     "parse_translation"
     "partial_function"
     "primrec"
+    "primrec_new"
     "print_ast_translation"
     "print_translation"
     "quickcheck_generator"

    "nominal_inductive2"
    "nominal_primrec"
    "pcpodef"
    "quotient_definition"
    "quotient_type"
    "recdef_tc"

    "cpodef"
    "datatype"
    "datatype_new"
    "datatype_new_compat"
    "declaration"
    "declare"
    "def"
