parametric typealias additional explanation

I added some text to clarify a point that stumped me about parametrized types and typealias.
Merge pull request #9033 from StephenVavasis/patch-13

parametric typealias additional explanation