Document abstract data types in the README.