https://123dok.net/document/z1dv54dz-opetopic-algebras-i-algebraic-structures-on-opetopic-sets.html