Current grammar has a lot of small issues that could easily have been detected by a machine, e.g. #567. If we had it in a separate standard form (or be able to generate it from bikeshed), we should be able to machine-validate it on CI and save ourselves a bit of time.