What is the key idea behind Abstract Data Types?