Value semantics

Semantics in which copying a value creates logically independent state, so later mutation of one copy does not change the other.