@ambrosebs opened two PRs to implement features that would help me with my compiler work https://github.com/typedclojure/typedclojure/pull/192, https://github.com/typedclojure/typedclojure/pull/193. I am not blocked by this, but am happy to discuss. Not sure whether I ran the test suite properly, still learning how to navigate the code.
Nice, both look like nice improvements. I'll look closer tomorrow.