Fix `pyright` and type errors with linting and type annotations

**What would you like to be added**:

To improve code quality, all `errors` discovered by `pyright` should be fixed and type annotations gradually introduced to the code base.
