Correctly implement E-GetField-NotFound
Add Fig 2. Mutable References Syntax and Values
Implement Fig 2. Mutable References, Semantics
Implement Fig 4. Prototypal Inheritance