[tel]

It was mentioned as a criterion. Actually, multiple:

    - "Perfect IDE support" when described hinges on types
    - "Static Optimizability" specifically mentions enjoying 
      type-driven AOT optimizations
    - "Solving Real Problems" mentions types in the 
      "Refactoring is Painful", "'Non-trivial' abstractions",
      and, briefly, in "Scala.js Solves Real Problems"

Furthermore, all of OpalRuby, Python, and CoffeeScript were explicitly dinged on their failures to have statically analyzed types.

But yeah, it does feel like he didn't give ClojureScript as much examination.