let and_ctyp = Gram.Entry.mk "and_ctyp"