Pulse check on Intersections draft work

I’m nearing readiness to start working on finding a typechecker to work with on a reference implementation + a PEP proposal. I’d like to check with the community to make sure the behavior of 2 specific cases is something they don’t have issue with before pushing through the final stretch. I can’t guarantee I won’t just put the objection in a “rejected alternatives” section, but I’d at least like to be aware of any objections and consider them properly in case there is reasonable room to do bet...