more explanation of abstract types

Several points concerning abstract types eluded me when I first read the manual; I have written additional paragraphs to elucidate these points.