Property observers in protocol extensions

There should be property observers in protocol extensions, so that even property observers will get default implementations, like functions or computed properties.

Andru