Reserve
val declare_reserved_type : Names.lident list -> Notation_term.notation_constr -> unit
val find_reserved_type : Names.Id.t -> Notation_term.notation_constr