let with_constr_quot = Gram.Entry.mk "quotation of with constraint"