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

Hey Mate,

This is a very minor change, but useful to illustrate a pull request from your perspective.

Cheers,

Dave