> Yes, it is their job, by not allowing subclasses to be used as subtypes.

That's probably too extreme. Subtyping should just be explicitly declared rather than implicit when subclassing.