CI failures due to Mypy message changes

[Mypy 0.990](https://mypy-lang.blogspot.com/2022/11/mypy-0990-released.html) has been released, and it appears that some of the error messages have changed somewhat, which breaks our build.