Clojure でλ計算の構文木を単純に型付けする
add するの忘れてた