rolled-up taxonomies and composite types