Review and merge type-hints
-
Decided whether to continue !67 (merged): -> Jein. Type hints are re-done due to too many merge conflicts. -
Repeat s.th. pipelines from #143 (closed) run successfully -
Create follow-ups for more type hints, broken docu etc.: #193 (closed) #192 (closed) #191 (closed)
Edited by Joscha Schmiedt