I have no idea what that would mean to transform a disjunction. Currently my universe extends only so far as to use logical operators. At least that is intuitive about what it means. Or rather - if you impose a booleanize that disjunction then it makes sense again. The boolean value of any(1..10)+1 would be true if any of the expressions 1+1,2+1...10+1 had a true value.

If you really meant to transform 1..10 then you'd just use a hyper operator but I don't know what that operator looks like anymore so I can't write it.