Proper type checking #130
Description
We should consider modifying the code to support a type checker - most likely pyright.
It might be a big PR but shouldn't change any functionality and it would make the codebase much less error-prone.
{{ message }}