A value with an internal structure.
concept composite value
subtypes value
not yet implemented immutable composite value frozen copy() pure
not yet implemented deeply immutable composite value deep frozen copy() pure