> ... there are lots of things that you would have trouble
> specifying as illegal, even though they are illegal.
No question about that. Context-free grammars can't specify that all
variables must be declared before use, either. Different tools for
different uses.
-s