Remove incorrect statement about ADTs.