In my quest for a good Lisp, I could no longer ignore static types.
See Taf - A plan for a statically-typed Lisp.
There shouldn't be any difficult roadblocks, so I expect a release sometime in or before summer.
Manuel Simoni's blog about programming (languages).