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.
Merge pull request #7870 from StephenVavasis/patch-2

more explanation of abstract types