Renamed pushHead to cons.
Rename the global semigroup op to sop.
Make some tuples equatable.