Text this: A computational formalization for partial evaluation.