mypy

[mypyc] Infer more precise error kinds for some ops

#13524

Merged