Fix documentation of abstract data types.