Sharing intentions as well as Changes

Sharing changes doesn't always work. Suppose User A deletes something in a shared dataset. The changes are passed to user B in the form of a .dmp file and everything is updated. Or not!

The problem is that user B may have an unshared dataset that contains references to what user A deleted. Now this unshared dataset will have broken links (i.e. non-symbolic references). What to do?

When loading a file, we should look for evidence that a file has been destroyed. This intention is likely indicated by the destruction of a parent property (removal of a file from a directory). Once we see that, all references to the file should be destroyed.