Some helper comments that'll be removed later
Merge branch 'master' of github.com:edwinb/Idris-dev

Conflicts:
	src/Idris/ElabDecls.hs
	src/Idris/ElabTerm.hs
TacImp script handling to various functions.

Namely, expandParams and the various 'namesIn' funcs. Some of the latter
could possibly use some review -- see FIXMEs in AbsSyntaxTree.hs
First attempt now at substitution to default args
Fixed errors; partially complete default arg subs
Comment cleanup.
Another wee comment adjustment
Yet more comment cleanup
Moved pinfo back into the where block
WIP on def arg sub in typeclass methods.

Will be indefinitely reverted due to apparent problems with implicits in
class methods in general.
Revert typeclass changes.

.. assuming git bothers to work properly.
A go at passing constructor name info to elabCons
Merge branch 'master' of github.com:edwinb/Idris-dev into default-arg-subst
Tests on default args and substitution
Merge branch 'master' of github.com:edwinb/Idris-dev into default-arg-subst
'Reject' cases to default arg substitution tests.
Removed obsolete leftover comment.
Increment IBC version
Dummy commit to rerun a timeouted Travis build
Merge pull request #1031 from tpsinnem/default-arg-subst

Substitution of previous arguments to default arguments