> Why not vice versa? Halt being a Warning would be more natural to me than Warning being
> a Halt.

We really should structure the class hierarchy based on the exception
handling use-cases we want to support, not semantics.  If Halt
inherited from Warning, then applications would no longer be able to
halt separately from handling Warnings (except by handling Halt too,
no way!).