Types to represent changed values.
Represents a changeable value.
Represents whether a value is equal to another.
Tracks the known state of a value.
Types that may be equal.
