Wagner's Theory of Generalised Heaps