Add distinct? and subset? judgments