This is not entirely accurate, the ClojureScript compiler actually internally propagates type information for further optimization. And nothing precludes a Type

This is not entirely accurate, the ClojureScript compiler actually internally propagates type information for further optimization. And nothing precludes a Typed ClojureScript which feeds even more information to the compiler.