derived type; structured type
Computing term for a type that is derived from or built upon another type, often in programming language type systems.
In this language, derived types are defined by deriving from base types.
constructed encoding
Compound of 構造 (structure) and 型 (type, model). A straightforward technical term.