Make terminator/separator optional for white-space separated lists

[andreasabel]

Declarations like

terminator Stm "";
separator Fun "";

do not offer any information besides that [Stm] and [Fun] should be supported as list categories.

These declaration could be inferred: E.g. if [Stm] is used in some rule, assume it is a white-space separated list.