Text this: Unifying Theories of Programming