SetLeaf: code optim in inter
iset : add union + minor optim for inter
ExprDiff: add conversion to constants for multi-valued functions