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
changed the first sentence of the readme
First attempt now at substitution to default args
Merge pull request #1025 from jeffersoncarpenter/master

changed the first sentence of the readme
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
Merge pull request #1028 from raichoo/javascript

javascript: collapse noop conditionals
Remove oldeffects from build
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.