Added foldr1 method to Vect.idr
Postpone implicit addition in case blocks

They get resolved later, when the lifted function is type checked. This
ensures that case blocks have the same pattern scoping rules as top
level functions (and saves a small amount of work!)

Fixes #1244
Rename 'effect' to 'call'

Sorry for breaking code again! But... "effect" is too overloaded, and
this really does just mean calling a single effectful operation.
"Effect" and "EFFECT" still refer to effect signatures and concrete
effects respectively.

This only affects effect definitions, not user code which uses an
effectful library.
Remove force/lazy

Since they are old style laziness and no longer work :). Also 'repeat'
on Lists since it used 'lazy'.
Merge pull request #1261 from jeffersoncarpenter/vect-foldr

Added foldr1 method to Vect.idr
Extend positivity check for mutual data types

Needs a make lib_clean
Find negative occurrences in positivity checker

We were only looking in higher order arguments, not in polymorphic
arguments, so missed a few.

Fixes #474
Merge branch 'master' of github.com:idris-lang/Idris-dev
Make load to line work with mutual blocks

Now reads entire block before stopping loading (otherwise we might not
get all the declarations we need for the block to type check)