Core.typed is a library, not an extension to the language itself. It's completely optional and is not related to clojure.core at all. While your points may be

Core.typed is a library, not an extension to the language itself. It's completely optional and is not related to clojure.core at all. While your points may be valid, this may not be a great example.