Implemented alphaleantap.scm in clojure.

Straightforward translation from the Scheme code. The only deviation
is in the IR: the app node looks like (app f (args ...)) instead of
(app f args ...).

Still haven't implemented nnf.scm, which translates the formulas to
the IR used by alphaleanTAP.