> I can't think of a single example of a strongly typed language that has been "fixed" by someone* to get around typing

Dependency injection is exactly that.