Sadly, statically typed Lisp is a contradiction in terms. It would be in the same category as dynamically typed Haskell.
But the experiment shows nicely how little you need to bootstrap something lispy.
It's not a contradiction -- we've built it: http://docs.racket-lang.org/ts-guide/