> Untyped languages often have tests that effectively implement a type system as software grows and the developer count grows. That seems like a waste…

Nicely put. A very verbose type system that is also placed too far away from the definitions indeed