Move unconstrainedEquality to the EqualityConstraint companion object to get it
out of the main implicit scope.