I don't think he's trolling, he's proposing spec due to issues he personally sees in type systems whilst acknowledging that clojure without types or spec or whatever is definitely missing "something" ... it's just that something doesn't have to be types.
Given his comments here he seems well aware that not everyone shares his views on type systems and that is fine:
https://groups.google.com/forum/#!msg/clojure/DUKeo7sT4qA/TU...
