Uniqueness

Enforces that certain values are used only once, allowing optimizations like in-place updates in functional programming.