Improve type system turing machine test

Instead of formatting the CUs and letting the typechecker re-parse them,
we feed it PhasedUnits directly. Thanks again to @quintesse who helped
me again :)