TYP simplify overloads of mypy issue is resolved
Due to https://github.com/python/mypy/issues/6580 , we've had to add lots of overloads to #40200 - if that issue was resolved, they could be removed

Also, if https://github.com/python/mypy/issues/10194 was recognised as a bug and resolved, then the extra overload for the `bool` case in #40200 (and any others of that kind) could be removed