Experiments with clojure core.typed