idea: a type-directed clojure exploration plugin.