Implemented the constraint interface and instances, including 'x=y'
'x=y+z' 'x<=y'