See https://github.com/python/mypy/pull/5982. The rough idea is to exit with: * 0, if no type errors * 1, if there are some type errors * 2, in case of a crash, bad arguments, and other non-standard conditions