Construct Types

This section covers named type construction beyond the built-in type families.

The main construct surfaces are:

• aliases: ali
• record-like definitions
• entry-like definitions

These chapters describe how named data models are introduced, how members are declared, and how construct values are initialized and accessed.