Text this: Initial Semantics for Reduction Rules