Seguindo sugestão de @arademaker neste comentário, o objetivo desta issue, relacionada a #38, é adotar a notação da ERG para os tipos da gramática, convertendo os nomes dos tipos existentes.
Em relação a essa tarefa, surge a dúvida se os nomes criados pela Grammar Matrix devem ou não ser também convertidos para a nova notação. Em princípio, diria que não, porque a gramática ainda vai crescer por meio desse sistema, em paralelo à codificação manual.
Seguindo sugestão de @arademaker neste comentário, o objetivo desta issue, relacionada a #38, é adotar a notação da ERG para os tipos da gramática, convertendo os nomes dos tipos existentes. Em relação a essa tarefa, surge a dúvida se os nomes criados pela Grammar Matrix devem ou não ser também convertidos para a nova notação. Em princípio, diria que não, porque a gramática ainda vai crescer por meio desse sistema, em paralelo à codificação manual.