clojurify syntax of STLC