Abstractions of data types