"The grammar might be ambiguous, but I'm not sure..."

- Ahora el chequeador no puede confirmar que sea ambiguo, asumo que es
una mejora. Da potenciales ambigüedades que no le pude sacar, que
mayormente tienen que ver con la asociatividad de operaciones, que en
teoría estaría resuelta.

- Se parsea desde el símbolo inicial I una serie potencialmente infinita
de Ws y Rs, donde W es un Elemento con Z transformaciones, y R una
regla.

- Sacados [ O ] y < O > de la "cadena de prioridades". Rodean al
elemento, son inquebrantables por las otras operaciones, no importa que
se haga antes o después, y adentro pueden tener cualquier cosa (más allá
de cómo se prioriticen las otras operaciones). Ídem potencia.

- Agregado S (Texto) como primitiva. Cualquier texto es potencialmente
un nombre de regla, el lexer tiene que aceptarlo.

- T es una transformación. Nada de "vacíos", que la 'iteración' la haga
otra producción (Z).