(< u v)
A finite domain constraint. u must be less than v. u and v must eventually be given domains if vars.