Fix set type for prioritized subtraction