What are abstract data types and what use are they?