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.
It'd be nice to reword this, as the manual tends to not refer to "herself" (by saying "Julia this" or "Julia that").