Better error reporting for CE match!

[edgarfgp]

Description

Better error reporting for CE match!

Continuation of #17779

Before

After

let run r2 r3 =
    match! r2 with
    ^^^^^^
    | Ok x -> x
    | Error e -> e

Checklist

• Test cases added
• Release notes entry updated

[github-actions]

❗ Release notes required

---

✅ Found changes and release notes in following paths:

Change path	Release notes path	Description
src/Compiler	docs/release-notes/.FSharp.Compiler.Service/9.0.200.md

[edgarfgp]

This is ready

[psfinaki]

Yeah I basically reviewed this in the previous PR :) Thanks Edgar, thanks for covering match! with some tests.