     "code_pred"
     "corollary"
     "cpodef"
+    "enriched_type"
     "function"
     "instance"
     "interpretation"

    "txt"
    "txt_raw"
    "typ"
    "type_lifting"
    "type_notation"
    "type_synonym"
    "typed_print_translation"

    "done"
    "enable_pr"
    "end"
    "enriched_type"
    "equivariance"
    "exit"
    "export_code"
