3.15.1.3. Constructed Object Types