Refactor large algebraic structures to use cumulative large sets

[lowasser]

Many of the axioms around Large-Monoid and up could be expressed in terms of a similarity-preserving binary operation on a cumulative large set.