Describir: Data structures with abstract data