poprawki w TypeChecker