Type-qualification traits remodelled and extended.