* Use-cases are orothogonalized (similar) use-cases are grouped together.
* Additional use-cases are explained to cover all the major pieces of the proposed design.
* Design is worked out in more details, with grammar and various restrictions more explicitly spelled out.
* This list of future enhancements is narrowed down to the ones that are feasible in the near future.
* Table of Contents is added for reference.

Co-authored-by: ilya-g <ilya.gorbunov@jetbrains.com>

The variable should be var to have setter

* Fix subtype -> supertype.
* Clarify the advantages of the new syntax of the backing property pattern.
* Clarify repeated allocations in Expose read-only view use-case.
* Fix Access field from outside of getter and setter use-cases, don't require explicit field declaration.
* Retrieve property delegate reference use-case added.