etc/isar-keywords.el

     "translations"
     "try"
     "txt"
     "txt_raw"
     "typ"
-    "type_mapper"
+    "type_lifting"
     "type_notation"
     "typed_print_translation"
     "typedecl"
     "typedef"
     "types"

     "specification"
     "subclass"
     "sublocale"
     "termination"
     "theorem"
-    "type_mapper"
+    "type_lifting"
     "typedef"))
 
 (defconst isar-keywords-qed
   '("\\."
     "\\.\\."