Changed HardConstraint a bit, and added a test

And stuff...