+

A finite domain constraint for addition and subtraction.
 x, y & sum must eventually be given domains if vars.