Is Typed.Clojure finally stable and sound?

In theory we only need parentheses, prefix operators and a REPL, but mainstream never went down that route.

Anyway the complexity then ends up being custom DSLs and macros.