Currently the mypy checks are only run on the FFCx package itself in the CI, not the testing and demo code. This should be extended for increased coverage.

This can also be rolled out in partial fixes, by using mypy.overrides inside the pyproject.toml, as done for other code parts.