Parsing:  Define commands B-C

This loosely fleshes out EBNF for commands B-C.