Added ReifiedNeq and Square constraints. ReifiedNeq is still slow and
Square is buggy.