Simplify grammar#1

Draft

aspeddro wants to merge 11 commits intomainfrom

simplify-grammar

Commits on May 6, 2023

Commits on May 7, 2023

fix
aspeddro
committed

Commits on May 11, 2023

Merge branch 'main' into simplify-grammar
aspeddro
committed

Commits on Jun 2, 2023

Merge branch 'main' into simplify-grammar
aspeddro
committed

Commits on Jun 3, 2023

more fixes
aspeddro
committed

Commits on Jun 4, 2023

Commits on Jun 10, 2023