van Wijngaarden grammars