YATT (Yet Another Typing Thread)

[Richard A. O'Keefe]

Luke Gorrie <luke@REDACTED> wrote
	[that he likes the Common Lisp type system]

Henry Baker had a paper (available somewhere on the net)
on how it could have been better (better suited to inference).

The really nasty thing about the Common Lisp type system is
that (at least in certain compilation models) if you state that
something has a certain type the compiler will believe you, and
generate code that can crash or do insane things.

Does CMUCL fix that in any way?