[dfmc-mangling] Fix typos and slightly improve argument name.
[doc] Improve name mangling doc.
Merge pull request #793 from cgay/docs

[doc] Improve name mangling doc.