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.
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #789 from tpsinnem/master

A more precise Rel & Decidable and some reshuffling of related code