Minor tweak to comment out the TypeChecking phase, which currently does not work.