Python: Types During Refactors

Use types to make broad changes safer and to expose where the old contract was never actually clear.

This matters because candidates who frame types as change-safety tools sound like maintainers, not just syntax users.