Implemented equality and inequal constraints, added Eval (should cechk sanity after?)
Fixes in equal-inequal constraints