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
Updates to contributing guidelines.

+ Fixed markup
+ Introduced new sectioning
+ Updated list on contributors.
Bring my changes in line with the latest upstream
Merge pull request #793 from trillioneyes/documentation

Core.TT documentation
Merge pull request #792 from jfdm/doc/contributing.nd

Updates to contributing guidelines.
Argument options (instead of just a Bool for lazy)
Added %error_reverse annotation

On a function, %error_reverse hints that the function should be run "in
reverse", i.e. as a rewrite rule from right to left, before displaying
an error message.

On a data declaration, %error_reverse means that all functions with that
type will be implicitly set as %error_reverse functions.

EFFECT is now set as %error_reverse. So in the Effects library, this
leads to much nicer messages, e.g.:

Can't solve goal
    SubList [(FILE_IO (OpenFile m))] [(FILE_IO ()),STDIO,
    ('Count ::: (STATE Int))]

...rather than the fully normalised versions we used to see.
javascript: remove allocations