remove /examples/ folder, move Makefile to /samples/
added default definitions for second, ***, &&&
added subclasses for Arrow
renamed <#> to prevent naming conflict
Use ExceptT instead of ErrorT
Completely replace ErrorT with ExceptT
Disambiguate forM call
Updates to README.md

+ Added Headers.
+ Add more comprehensive information over installing idris from hackage and from source.
+ Add links for more information.
+ Reformated existing sections.
Import ExceptT type and constructor
Merge pull request #1796 from bmsherman/ExceptT

Use ExceptT instead of ErrorT
Fix parameter propagation error

This catches the most blatant attempts at typecase, but there are still
a couple of other sneaky tricks that will get past the checker.
Disallow explicit types on LHS

Except under quasiquotation. This is to prevent any arguments being
specialised to a more specific type than the function type suggests (one
place where typecase can arise).
Add missing LHS type check
Coverage checker fix for nested constants

Need to generate possible cases for constants in constructor arguments
too.
Merge pull request #1786 from Heather/examples

remove /examples/ folder, move Makefile to /samples/
Merge pull request #1794 from japesinator/arrow_update

added default definitions for second, ***, &&&
Merge pull request #1795 from japesinator/arrow_classes

added subclasses for Arrow
Merge pull request #1798 from jfdm/update/readme

Updates to README.md
Check arguments being matched on are matchable

Specifically, matching on a polymorphic argument should not be allowed
unless some other argument has determined its type.
Lift typecase restrictions on %reflection fns.