Match/case issues on matching tuples #5013

Describe the Bug

A few cases where pyrefly doesn't narrow types on match/case statements or fails to recognise exhaustive matches.

Sandbox Link

https://pyrefly.org/sandbox/?project=v2.pZZLboMwFEW3YjUDaAd1P7MsoOOOOopkueACEoEoNg3Zfe_zJ42NhVplFvB9xu9zj_MPZEacyaw_XPwKnyrT7a0r3Ex_wupKDsJMcB46a6oWkWWvvszWLgJjXdP6Bzs26OWl85Az0gbV7wwChq7LgCj1OkztU1byJmmCg-Y50djVZJ-XvCbe6DWkqeZWTppK7TOlGIFhQXP3CsN5QBG7cQKYkJ63NJJCcSy6_BubPx6j_EOolyfnEta-5bV_nYf11BtMDsUkIWSWe1xdMSyiKNoyfBeeisLd0deid3eoicRvGtgrojhBqNkgYY0TpkGMgzh1fV3JY20Lp8s5rtN5USS3mpZqJumfj2sp9kGU8xhLC5vN0WYyZz8i8uLzcueFMjnLkjEb9u5eMG9X3K6AUzPhDgd0HnfDBte3Yq0xB73lPISPx4argddjpXkUwRnhVH7Lzv4ziLdjo2Wixra3wK1wbCvW0FYQ2aBYpdUP

(Only applicable for extension issues) IDE Information

No response