Add static type checking

via Pyright