Text this: Unfolding Abstract Datatypes