Instructor's Guide: Abstract Data Types