A type checked lambda calculus interpreter, Clojure style!