Try out `ty` for type checking

[mschoettle]

Add it alongside mypy and see how it goes.

See: https://pydevtools.com/blog/migrating-from-mypy-to-ty-lessons-from-fastapi/