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

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

    "infixr"
    "inject"
    "intros"
    "invariant"
    "is"
    "monos"
    "morphisms"
