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
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.
Support for typed laziness in executor
Change 'module Category.Arrow' to 'module Control.Arrow'
Change 'module Prelude.Catchable to 'module Control.Catchable'