more uniform use of Properties.Eq.unapply, with slightly changed semantics in boundary cases;