Right, it's well known that type systems are essentially useless, except when you need to write high quality code, and do all those things you mentioned. Basica

Right, it's well known that type systems are essentially useless, except when you need to write high quality code, and do all those things you mentioned. Basically they're unnecessary (but only if you use the term unnecessary very literally).