Root type for regular values (as opposed to references).
Before using this type as a direct supertype, consider
whether your objects satisfy the contract for the data type.
Subtypes of data have library support for a lot of useful functionality.
Corresponds to "rvalue" in C.
Roughly corresponds to Object in Java.