> increasing the ease of exploration and understanding of a codebase

Very true and a good thing to remember when discussing static typing.