And here I was hoping that one of the goals of this was Hindley-Milner type inference for production clojure code (which, for those who didn't look at the code, is explicitly not a goal).

Oh well, cool experiment. I might have to try it sometime.