Notes for org.clojure/core.typed