Old assumptions: Define positive and negative in terms of !zero, not nonzero

This is because nonzero currently means real (i.e., finite), but positive and
negative can be infinite.
Fix assumptions on Infinity, NegativeInfinity, and ComplexInfinity

Now SymPy will import without an InconsistantAssumptions error.