> Almost all bugs are logic bugs or inconsistent state bugs (thanks OOP!), almost none are type bugs.

Most, possibly all, inconsistent state bugs and many logic bugs are type bugs with a sufficiently-expressive type system properly used. That's why type systems have progressed from basic systems evolved from ones whose main purpose was laying out memory rather than correctness to more elaborate systems.