Aggregate Types

The properties the aggregate declares — the shape folding its boundary leaves it in. These belong to the type; the values one stored instance holds are reached through an identifier on the identifiers tab.