     "begin"
     "binder"
     "checking"
+    "class_instance"
+    "class_relation"
+    "code_module"
     "congs"
+    "constant"
     "constrains"
     "datatypes"
     "defaults"

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

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