EI: terminals and grammar are now built by subs: t+