In practical terms, better testing would've saved it, not better type safety.

The rest of the sales pitch doesn't require type safety, although I appreciate that a rather nice piece of software is being shared here.

Type safety obsession reeks of cargo cult to me, but that's not exclusive with well-made software.