Run mypy in CI

Run mypy in the CI to check whether the packages typecheck. Right now only the decorators package supports types and that is also the only package that is checked by the typecheck script in the Pipfile. The types could also be extended to be there for all packages.