I have a possible suggestion to fix this within your proposal: @property on single-arg free functions ONLY enables a setter mode, it does not work as a UFCS getter.