Future directions of Property Wrappers

Maybe we can get the optimization for value types as well, which would depend on two subscript related features mentioned here: