Introduce static type checking with pyright (#255)

.github/workflows/tests.yml

@@ -12,6 +12,8 @@ jobs:
           python-version: '3.10'
       - name: Run linters
         run: |
-          pip install ruff
+          pip install ruff pyright
+          pip install -e .
           ruff check .
-          ruff format --check --diff .
+          ruff format --check --diff .
+          pyright