Move from `mypy` to `ty`#478

Draft

paddyroddy wants to merge 23 commits intomainfrom

Commits on Dec 17, 2025

Move from `mypy` to `ty`
paddyroddy
committed

Commits on Dec 18, 2025

Commits on Dec 19, 2025