typed versions of clojure, sbcl, and racket