The schema library form the prismatic guys should be what you want, its pretty powerful.
https://github.com/prismatic/schema
Aria Haghighi - Prismatic's Schema for Server and Client-Side Data Shape Declaration and Validation (http://www.youtube.com/watch?v=o_jtwIs2Ot8&list=PLZdCLR02grL...)
For static type checking: https://github.com/clojure/core.typed
> possibly another syntax baked in
Not needed in my mind. I would rather have less devs then C syntax. Not trying to be elitist but clojure will never not be a lisp, and if somebody can move from a(b) to (a b) then let him do python.