Document the Syntax Productions #192
Description
As part of the syntax rework (#177) we re-did the syntax rules. However, we did not document the productions individually which can be useful for those writing the syntax manually. This is extremely low priority as the syntax is not designed to be written manually by users, but could nevertheless be useful.