Added some description to the ADTs.