let with_constr = Gram.Entry.mk "with_constr"