More metasyntax grammars