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

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

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