Text this: Unfolding abstract datatypes