Contained subtype constraintΒΆ