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
Make reg031 char-sign-indifferent.
Foreign pointer equality

Can be useful when dealing with values originating in foreign functions.
Intended in particular for checking sending VM in message passing
concurrency.
whitespaces
i|javascript: make inliner more aggressive
javascript: reduce initializations in generated code
javascript: tiny APPLY refactoring
More descriptive error message on failure to unzip .ibc

To give more guidance on errors like
https://github.com/edwinb/SDL-idris/issues/2

The DecompressError can be one of three things:
http://hackage.haskell.org/package/zlib-0.5.4.1/docs/Codec-Compression-Zlib-Internal.html#t:DecompressError
There's not a show instance for it, though.
When I try to unzip "/etc/passwd" with this, the text of that error
message returned is "incorrect header check".