adfb04fc4e
Edit punctuation and wording in note on type variables vs. type parameters. Also add missing punctuation and two inter-doc links.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.