Gradual typing for Clojure