Add back some accidentally pruned grammars

A bug in the prune-grammars script caused these to be removed.