https://github.com/typedclojure/typedclojure https://github.com/typedclojure/typedclojure/blob/main/CHANGELOG.md#1031-20220611

- don't check namespace if `^:typed.clojure/ignore` or `^{:typed.clojure {:ignore true}}` meta
  - eg., `(ns ^:typed.clojure/ignore foo)`
- introduce `typed.clojure/check-dir-clj{s}` for type checking directories of code
- introduce `typed.clojure.main` for command line usage
- improve `^::t/dbg` output
- fix `[:maybe]` case in Malli schema to static type translation
- simplify malli schemas `[:and s1 s2 s3 ...]` to `s1` in type translation to avoid tricky subtyping cases