Algebraic hierarchy

[cmcmA20]

• [x] infinity-magma
• [x] n-magma
• [x] semigroup
• [ ] 2-semigroup
• [x] monoid
• [x] commutative monoid
• [ ] 2-monoid
• [x] group
• [x] abelian group
• [ ] braided 2-monoid
• [ ] symmetric 2-monoid
• [x] rig
• [ ] partially/naturally ordered rig
• [ ] ring
• [ ] commutative ring

[cmcmA20]

Higher structures are much more difficult to work with, removed them from task scope