Change typechecker from pyright to mypy

[endrebak]

I think pyright is a lot more finicky. For a while it was the only one that supported generics but that is not true anymore.

[marco-mariotti]

I guess ty is a better option, on the to-do list (but other priorities are pending)
#147
so I'm closing this