If Jank decides to tackle the poor type story of Clojure, the thing that'd be awesome is to get something like SBCL's deftransform: a way for the compiler to pass inferred type info of forms to macros.