Now flattening reflective calls inside the runtime (as opposed to the observer); also changed treatment of untagged heap properties: we now call back into the observer to ask it to provide a tag.