Modified EqualityConstraint implicits to actually return EqualityConstraint instead
of ye olde Constraint, and take an EqualityConstraint instead of a ye olde InnerConstraint.