User blog comment:Deedlit11/Rigorous definition for hexational arrays and beyond/@comment-1605058-20130325204124/@comment-5529393-20130326035700

It's sufficient for {a,b,c} & n when c is a natural number. I will extend it to arbitrary structures next;  it probably won't require many new rules.