"There can be at most one owner for any piece of data."This doesn't seem right. For GC data, the GC owns the data, that is true. But for Ref-counted data, there is more than one owner, and only when all the owners disown the data can it be destroyed.
The RC mechanism is the owner. Ownership is loosly defined in this DIp so that it do not close any door for future language evolution.
