### What needs to get done Remove mypy and pyright in favor of ty. ### Why it needs to get done `ty` is replacing these type-checkers.