let typevars = Gram.Entry.mk "typevars"