Text this: The importance of being extrinsic : coherence and adequacy for a call-by-value language