Semi-formal specification of rules for array literals.