accommodate change to ProducedType in ceylon-spec