It's a shame the new Lisps tend to not rip off Common Lisp's type system, being able to declare my types and having SBCL admonish me when I'm doing something stupid is something I would hate to lose.
Isn’t it more accurate to call that unspecified SBCL behavior than “common lisp’s type system”?
That said, Common Lisp is hyper advanced alien technology, so it is hard to improve upon.