add a redefine statement for extending a grammar with additional tokens

[adrian-thurston]

Like TXL, we need a way to extend a grammar definition with additional productions. Critical for grammar modularity when prototyping new language features.