Removed True and False cases from TypeChecker, as they are covered in the 'Constant'-case.