Fixed last(?) bugs in TypeChecker, works fine with tester now