(== u v)
A finite domain constraint. u and v must be equal. u and v must eventually be given domains if vars.