Changed some wording in ADTs to be more precise.