Set literals should be treated as inference leaves. [applied]