commutative hyperoperations