Why are type systems a valuable maintenance tool?

When you refactor, some function signatures or variables' types may change, a type system would catch most locations that the refactor may miss.