Fixed issue where errors in TypeChecker were not being outputted correctly