Describir: Unfolding Abstract Datatypes