Text this: Faithful (meta-)encodings of programmable strategies into term rewriting systems