Dev format

With this MR, there are several changes in the format and the type annotations. No functionality is changed, all tests pass. Further, all pre-commits that are defined in .pre-commit-config.yaml pass as well.