More efficient projection operation in Cartesian product

[ptal]

Currently, the projection in Cartesian product evaluates the variable in Bound_rat, even if all the sub-domains are defined over integers. Similarly to Propagators_completion, we should parametrized the Cartesian product by an evaluation vardom. Even better would be to infer automatically the right vardom in which evaluate the variable.