Binary decision diagrams in Clojure