Fix issues with variables in match arm alternatives

[ironcev]

Description

This PR fixes three issues related to variables in match arm alternatives:

• removes the wrong error message that a variable in match arm alternative is not defined (Invalid error message that variable is not bound in all match arm alternatives in case of duplicates in alternatives #5082).
• emits error if the same variable in match arm alternatives is not of the same type in all alternatives (Emit compile error if the same match arm variables in alternatives are not of the same type #5081).
• emits all errors in a match arm instead of short-circuiting after the first error (Matcher should not short-circuit on first error in match arm variants #5108)

Closes #5081.
Closes #5082.
Closes #5108.

Demo

Checklist

• I have linked to any relevant issues.
• I have commented my code, particularly in hard-to-understand areas.
• I have updated the documentation where relevant (API docs, the reference, and the Sway book).
• I have added tests that prove my fix is effective or that my feature works.
• I have added (or requested a maintainer to add) the necessary Breaking* or New Feature labels where relevant.
• I have done my best to ensure that my PR adheres to the Fuel Labs Code Review Standards.
• I have requested a review from the relevant team or maintainers.

[ironcev]

This PR builds on top of #5100 so I'll keep it in draft until that one is closed.

[ironcev]

Back to draft until decision is made on short-circuiting.

[ironcev]

Back to draft (again 😄 ). I'll put all the remaining work to be done in matcher in this PR.