Ensure the whole code is properly type-checked

[giovannipizzi]

Essentially: add the line

strict = true

in the [tool.mypy] section of pyproject.toml, and fix everything.

[ayushjariyal]

Hey @giovannipizzi , I want to work on this issue. Is it still open?

[giovannipizzi]

Thanks for the interest! A lot of typing has been added, I don't know how much is left, but probably there is still something to do. However I suggest to coordinate with @agoscinski and @unkcpz as they have been doing some refactoring, changing of linting etc. in the past few days.

They can comment on whether work is still needed, and probably their PRs should be merged first to avoid a lot of merge conflicts

[ayushjariyal]

Thanks! I'll coordinate with @agoscinski and @unkcpz to avoid conflicts—let me know if I can help with anything specific!