Text this: A coherent differential PCF