Yep. I agree with those observations. Static types can be very handy to reduce developer cognitive load. Automated refactoring tools are also pretty nice. All I'm saying is they're no substitute for a test suite. As a software quality guarantee, they don't even come close.