Text this: Relational Parametricity and Control