First usable version of "Structural sharing and destructive modification."