Convert modules to use typing annotation.

[bouthilx]

We need to first list the modules to track the progress of conversion. We should also look for a way to document arguments without specifying types twice.

[bouthilx]

We should include mypy in the CI and blacklist the modules that fail. This way we will make sure to cover all modules, and we will ensure good typing from now on.