Text this: High-order operational techniques in semantics