It is just a fair bit harder to figure out the types as program grows.
Not in my experience. Language engines are good enough to help most of the time,
And typed or untyped, you’re only ever reasoning about the types in the context you’re working in, not the entire program.
Where this falls apart, the more verbose writing style hasn't been proven to convey more information or in a better way. That's an assumption still tossed around.