     "values_prolog"
     "welcome"
     "with"
-    "wrap_free_constructors"
     "write"
     "{"
     "}"))

    "code_pred"
    "corollary"
    "cpodef"
    "enriched_type"
    "function"
    "instance"
    "interpretation"
    "lemma"

    "find_unused_assms"
    "fix"
    "fixrec"
    "free_constructors"
    "from"
    "full_prf"
    "fun"
    "fun_cases"
    "function"
    "functor"
    "guess"
    "have"
    "header"
