Copying Semantics of Built-in Types

Distinguish between reference types and value types to avoid unintentional shared state mutations.