Shadows provide dynamic runtime extension.

When an object is "shadowed", it is dynamically extended by the shadow: all of the methods in the shadow are added to the object, and any redefined methods in the shadow override methods in the object. When the shadow is removed, the object returns to normal.