Describir: Heap Models, Composition and Control