> for example at the start of a years long app development project, the type system is just in the way.

Subjectively, my experience is that writing out the type definitions and signatures of main functions is a great way to start exploring an unknown problem space.