InteriorAssign trait { a := b }

You may want to look at the field projection work, which does something similar to the InteriorAccess trait you're suggesting, and which should in the process provide the same functionality as InteriorAssign.