Integrate Mypy into PR checker

[sfc-gh-yihuang2]

Mypy is a static type checker. By enforcing code contributors to think about the data types, it ultimately improves the code quality for a large project.
https://mypy-lang.org/

[Wendong-Fan]

Thanks @sfc-gh-yihuang-2 , we do have mypy check