     "no_syntax"
     "no_translations"
     "nominal_datatype"
+    "nominal_primrec"
     "nonterminals"
     "normal_form"
     "notation"

    "instance"
    "interpretation"
    "lemma"
    "recdef_tc"
    "specification"
    "termination"

    "file"
    "fixes"
    "for"
    "freshness_context"
    "hints"
    "if"
    "imports"
