Proposal to resolve some niche TLA+ language ambiguities

[Andrew Helwer]

I ran into these when writing the tree-sitter grammar. You can see the proposal here:

https://github.com/tlaplus/rfcs/issues/4

I welcome any feedback or discussion. Philosophically, this as a question of whether we want to add complexity to the language specification by defining these as special cases of general rules, or add complexity to TLA+ parsing by requiring these cases be handled according to a straightforward reading of the language spec.

Andrew