Value Types

TODO

In addition, the core framework defines a number of value types; see Value Types.