Use mypy for static type checking

[BenjaminRodenberg]

To make the API of the FEniCS adapter more stable, I think using a tool like mypy would be helpful. We can also automatize the type-checking process by introducing some workflows / pre-commit hooks in our CI pipeline (related to #187)

See https://mypy-lang.org/.