Redo in narrowing for intersections

[sandersn]

This fixes the breaking change from the 3.9 beta by adding a simple exemption for typeof globalThis. It does not do the more complicated fix of exempting optional properties from in-narrowing; I'm going to look at that next, but I need to convince myself whether it'll actually help.

Fixes #37039
Fixes #38162 (mostly)

[sandersn]

I re-read #38162 and the preceding bugs. The core problem is that that in-narrowing is guaranteed to be wrong a lot in the most common use case (optional properties), regardless of whether it's in an intersection. Without missing in the type system, we're just choosing whether to be wrong-strict or wrong-permissive.

Switching between the two is (1) probably not possible or worthwhile because of backward compatibility (2) a separate issue from making the feature work with intersections. I think this PR is ready to go as-is.