This MR adds the python/type-checking component to the continuous-integration pipeline. This allows highlighting typing issues reported by mypy.
python/type-checking
mypy