Factoring out meta-grammar: t+