     "code_class"
     "code_const"
     "code_datatype"
+    "code_identifier"
     "code_include"
     "code_instance"
     "code_modulename"
     "code_monad"
+    "code_printing"
     "code_reflect"
     "code_reserved"
     "code_type"

    "begin"
    "binder"
    "checking"
    "congs"
    "constrains"
    "datatypes"
    "defaults"

    "code_const"
    "code_datatype"
    "code_deps"
    "code_identifier"
    "code_include"
    "code_instance"
    "code_modulename"
    "code_monad"
    "code_pred"
    "code_printing"
    "code_reflect"
    "code_reserved"
    "code_thms"
