Started using clojure.test

Also: first implementation of alpha-equivalence.