Most of the research that Typed Clojure is based on didn't even exist when Clojure was created. Rich just made the best language he could, and waited for type theory to catch up, as it were!

See this goldmine of papers for Typed Racket http://www.ccs.neu.edu/home/samth/