python type checking

Tags: python

• https://github.com/Microsoft/pyright