As the team behind pytype, our current type checker, announced the end of support after py3.12, I propose we evaluate migrating our type checking to something else, like ty.
Let's use this issue to discuss potential blockers and a timeline for adoption.
