let ctyp_quot = Gram.Entry.mk "quotation of type"