I simply assume that with "type system" you mean "statically typed language" since lisp is strongly typed, which implies having a "type system": bigloo & typed racket demonstrated that static typing & lisp/scheme aren't incompatible. That prediction was rather unlikely to come true, anyway.

Well Clojure is actually a lisp dialect, more generally speaking, functional programming languages get more attention nowadays than back in 2004. Since 2004, we have F# Clojure, Scala was released in 2003.... Considering how hard it is to predict the future, I would say it is a pretty accurate prediction.

Well Lisp is dynamically typed and Javascript, Ruby and Python seem to be doing pretty well.

Brakes are a complete waste of energy...

Well, not sure about cars, but bicycles without brakes are getting pretty hip...