Export the theorem giving mmlG.rules ' N for all possible N.

Also call this cmlG_applied, because the mml prefix is a historical
relic that I will try to gradually eliminate.
Start of an attempt to prove the connection between the PEG and CFG.