Notes on differences with Typed Clojure