User blog:Testitemqlstudop/Formalization of my Array notation

Here I would like to formalize my previous array notation as much as possible.

So far I have went up to the rules detailed here.