Text this: Universal algebra and applications in theoretical computer science