let implem = Gram.Entry.mk "implem"