     "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"

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

    "rep_compat"
    "shows"
    "structure"
    "type_class"
    "type_constructor"
    "unchecked"
    "unsafe"
    "where"))
