Text this: Efficient graph rewriting and its implementation/