Second Draft: Turn properties into first class accessors

[IchorDev]

On Wednesday, 5 February 2025 at 20:37:30 UTC, 12345swordy wrote:
> Per request via email, I managed to port it to a markdown 
> document.
>
> https://github.com/12345swordy/Public-Documents/blob/main/properties.md
>
> Destroy!

This is cool but
1. Can you define how exactly does this interact with operator 
overloads? Especially how with regards to op[Index/Op]Assign, 
opCall, and opDispatch?
2. Do you think the current ‘getters should be O(1)’ rule in the 
spec should remain or be abolished? (I’m in favour of the latter, 
since I frequently find that getters are great for lazy 
evaluation)