try out ty for type checking

[bdewilde]

changes

• replaces mypy with ty in dev dependencies and ci checks
• fixes a handful of issues flagged by ty (but which mypy did not catch previously...)

context

ty is finally ready-ish for production! https://astral.sh/blog/ty

questions