Online grammars now diff with incremental suffix array (except lex, TODO)