Allow referring to Object Locals which do not (directly or indirectly) depend on self and super in field name expressions.

Technically they could be defined outside of object, but that would be less readable. Whether or not a field has a dependency on self/super can be determined statically. The main disadvantage is that it's making the scoping rules even more complicated.