Text this: Partial Evaluation: Practice and Theory