Draft: Fix and modernize type annotations
Draft because it depends on !282 (merged)
Just a first step, more typing fixes will follow
Edited by Julius Künzel
Draft because it depends on !282 (merged)
Just a first step, more typing fixes will follow