Parsing:  Define commands D-E

This loosely fleshes out EBNF for commands D-E.