     "extract"
     "extract_type"
     "finalconsts"
+    "fun"
     "global"
     "hide"
     "inductive"

    "fix"
    "from"
    "full_prf"
    "function"
    "global"
    "guess"

    "code_const"
    "code_constname"
    "code_gen"
    "code_instance"
    "code_library"
    "code_module"
    "code_purge"
    "code_simtype"
    "code_type"
    "code_typename"
