[odwlmxqk] Lists versus sets in grammars

Wherever there is an asterisk in a grammar, denoting zero or more repetitions of a production, say whether order semantically matters in the repetitions.

(If order doesn't matter but repetitions of identical items matter, then bag or multiset.)

Inspired by function ordering within a file mattering in C, but not in many later languages.