Moving all typing examples to TypeChecker/Test.hs