CL has optional types and quite an interesting type system. Check out Qi if you want a Lisp designed to have a rich type system.