Update pipeline to check types and formatting

The pipeline-update, now with working types™.

Turns out that mypy can import classes that can't be imported at runtime. This made the previous attempt a failure, because I did not check that the service starts up with the changes.