Exploring Structural Sharing and Copy-on-Write Semantics, Part I