Add Boolean functions with variable number of arguments

It would be interesting to add a couple of Boolean functions that take variable number of Lea arguments. This could include all_different, all_true, any_true, all_increasing, etc.

The benefit would be not only to improve expressiveness but also to have efficient algorithms that use short-circuit evaluation.

Such functions may be used in arguments for the given method, mimicking somehow the Constraint Programming style.