Typed Clojure In Theory And Practice