Fix clojure interface and documentation, for the ZDDTerm based API.