More work on intro
LRDOCS 346, ADTs section ready for publication.