Added documentation to clojure code.

Documented Concretizer.clj and cleaned up code a bit.