Тип Терм (выражение) типа Тип обитаем Функциональный тип Тип произведения (пары) Тип суммы (размеченного объединения) Единичный тип Пустой тип () Тип зависимого произведения (-тип) Тип зависимой суммы (-тип) 