Dedicated syntax for overriding nested record field

Sounds like my little trick using lenses and existing index syntax: Just reinvented OOP - #7 by yawaramin