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
Added type functions for n-ary functions and relations, and modified things in Decidable to use them (based on Melvar's code). Comment regarding REPL instance resolution needed, as is some cleanup.
Cleaned up, and added a commented-out attempt at a 'decision' convenience function, which now fails work.
Renamed VectFun to FunN, added a few explanatory comments.
Added Data.FunN and Data.Rel to base.ipkg
Merge branch 'master' of github.com:edwinb/Idris-dev
Added missing comma to base.ipkg
Re-rename FunN all the way back to Fun.