Switch from mypy to ty

[njbrake]

astral go zoom

https://astral.sh/blog/ty

[njbrake]

Marking this as deferred, we'll come back to it later when ty gets out of beta.