Cambiados algunos nombres de los constructores de la gramática.