End of Phase 1 of Marpa rewrite: t+