ReferenceSlot now contains exactly one object ID, und has become an
immutable datatype, hence the copy operation doesn't copy anymore.
At the same time, Heap has been extended by a new special object, the
UNKNOWN object. This object is meant to be used whenever it is unknown
to which object a reference points to.