more robust ProducedType.minus() #587