Fix `not`.
Attach mutation/accessor continuations for boxes to the box objects
Add tests for boxes and associated impersonators/chaperones
store super fields not separate from other