Introduce the collection context in the type check context.

[tritao]

Description

This PR does a couple things:

• Creates all of the necessary lexical scopes in the collection context namespace
• Introduces the collection context in the type check context
• Updates type checking code to enter the corresponding lexical scope in the collection context
• Introduces a mapping from a span to a lexical scope in the namespace
• Implements collection steps for so far unimplemented AST nodes

This prepares the compiler for a future PR where the additional namespace will be able to be removed from the type checking, and with it the cloning we do as we type check.

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).
  • If my change requires substantial documentation changes, I have requested support from the DevRel team
• 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.

[codspeed-hq]

CodSpeed Performance Report

Merging #6460 will not alter performance

_{Comparing tritao:collection-context-in-type-check-context (6749479) with master (613f129)}

Summary

✅ 22 untouched benchmarks

[tritao]

Updated the PR, rebased on top of the latest master and also some minor improvents to error handling in some cases.

Benchmarks breakdown

Benchmark master tritao:collection-context-in-type-check-context Change
❌ document_symbol 4.3 ms 5.3 ms -18.34%

I have seen this same slowdown in #6553, so I don't think its specific to this.

[JoshuaBatty]

nice one, excited to see this progress.