Bump mypy from 1.4.1 to 1.5.1.