SPairs now uses a dedicated hash-less monoid for ordering.
SPairs no longer uses PolyRing, except to access a MonoMonoid. Also, it has about the same speed as previously by using a MonoVector.