Better narrowing

[hauntsaninja]

I have a stack of several commits that improve mypy's narrowing

I will post relevant PRs and notes in this thread

[hauntsaninja]

The first PR is #20492

It's been open for two weeks, so I will probably merge it in another week or so if there aren't comments