A new version of MyPy (1.16) was released that contains more checks for static typing than before.

This led to our static-analysis pipeline to fail.

This issue is meant to track which of these new problems we fix, which ones we don't and the reasoning behind our choices.