Exploit equalities to make smarter grounding

[Bart Bogaerts]

Consider a constraint

#{...} >= 10

this constraint had far better propagation than the set of constraints

C = #{...}

C >= 10

However, C is simply a reification. We should exploit this knowledge...