Third draft: Turn properties into first class accessors

[12345swordy]

On Friday, 21 March 2025 at 01:34:45 UTC, Paul Backus wrote:
> On Thursday, 20 March 2025 at 17:52:20 UTC, 12345swordy wrote:
>> https://github.com/12345swordy/Public-Documents/blob/048fe63bd1e7197c4db9f5794ec5334dc3c615a6/properties.md
>>
>> Add basic support for array index for single/multi dimensional 
>> arrays.
>
> Several major issues here:
>
> * The exact syntax and semantics of `__traits(properties)` are 
> not specified anywhere.
> * The rewrite involving `@property` arguments and `inout` 
> parameters is not adequately explained. Under what 
> circumstances is this rewrite performed, and how *exactly* is 
> the function rewritten?
> * The array indexing examples have nothing to do with property 
> access. Instead, they are a new form of operator overloading.

It not operator overloading, its property access with regards to 
accessing the element themselves rather than array itself. The 
syntax itself is more of a suggestion rather than a hard code 
requirement.