타입 추론 알고리즘과 타입 확인 알고리즘을 못 짜겠다.

lambda calculus 관련 프로그램 짜는 중임.