[WIP] RFC-1331 Expression-scoped opens

[ijklam]

Description

Implements fsharp/fslang-suggestions#96
RFC fsharp/fslang-design#810

This PR only implements open in expressions. Open in type is not implemented.

Checklist

• Test cases added
• Release notes entry updated:
• Add language feature flag

[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/10.0.100.md
LanguageFeatures.fsi	docs/release-notes/.Language/preview.md

[ijklam]

This PR does not implement "open in types" feature. It needs some refactoring to implement the feature, which needs someone who knows a lot about the typechecking mechanics. I did make a prototype, but I am not satisfied on its restriction, working way and performance. It requires putting open declarations on the beginning of a type definition, and has bug in type ... and ... declaration. While typechecking, it need find and apply open declarations to the environment multiple times, and it causes the UnusedOpens.getUnusedOpens returning duplicated items for type-scoped opens. Also, when the line of open has error, it will raise multiple same error for it.

[T-Gro]

@ijklam : Thanks for the summary of the current state. I will convert the PR to a draft to prevent accidental merge for now.