Type check and lint

Add a CI stage on which linting and type checking is applied. This would especially be useful to ensure code quality on feature branches or merge requests.

Mypy could be used through flake8, which would provide one command to rule it all.