Updating docs for abstract data types.