let mk = E.mk gram