Built-in Types

The following sections demonstrate the built-in types offered by the language and how they can be used. See section [TBD] for details.