Text this: Wagner’s Theory of Generalised Heaps