[doc] Improve name mangling doc.

Don't merge this yet.  I know the last part is wrong.
It is worth discussing how methods on a generic are encoded as well since that's moderately interesting and has some detail to it.