fix a typo-bug
minor whitespace formatting
remove dead code
Completed Clojure implementation of alphaleantap.scm and nnf.scm.