Added haddock comment for `Core.TT.tcname`
Moved information from comments to record field names.
Clarify an initially-confusing point about `Binder`
Changed the name of a pattern variable in one case of `termsize` to be more congruent with the other cases
Explained motivation for some cases in `termsize`
Adding haddock comments to `instantiate` and `substV`. Also clarified the third paramater of the `P` constructor for `TT`.
Added haddock comments to a number of TT name manipulation functions
Adding prefix to new record field names
Changed my haddock comments to use proper markup
Fixed typo: "unform" --> "uniform"
Added haddock comments for most of the rest of the functions in `Core.TT`
Added some clarification of the purpose of `PVar`
Explained the motivation of the name `P` for named references
Bring my changes in line with the latest upstream
Merge pull request #793 from trillioneyes/documentation

Core.TT documentation