Text this: Templates in Rewriting Induction