Various bits of syntax discussion, wording additions, etc. #134

Closed daveedvdv closed 5 months ago