Added a CanOnlyEqualSpec, and some implicits in EqualityConstraints companion to
turn off comparisons of two Seq's of type Nothing, but allow comparisons between
two Seq's one of which has type Nothing.