Remove cheat for Tbase case; only left-recursion in chains of tyops to do.
Completeness proved without cheats.  And now to bed.