etc/symbols

 \<^type_abbrev>         argument: cartouche
 \<^type_name>           argument: cartouche
 \<^type_syntax>         argument: cartouche
 \<^var>                 argument: cartouche
 \<^oracle_name>         argument: cartouche
+\<^Const>               argument: cartouche
+\<^Const_>              argument: cartouche
+\<^Type>                argument: cartouche
 \<^code>                argument: cartouche
 \<^computation>         argument: cartouche
 \<^computation_conv>    argument: cartouche
 \<^computation_check>   argument: cartouche
 \<^if_linux>            argument: cartouche