First attempt at getting order-independent Effects working.
First attempt at getting order-independent Effects working.

This implementation has what seems to me to be unnecessary complexity
due to needing to figure out how to get the Handler eff m type class
resolution to be inferred through-out the Env re-ordering code - envElem
and dropEnv is a good example of this. I think that possibly someone else
could make this a bit cleaner, but it works in my tests.

kojiromike/Idris-dev,tpsinnem/Idris-dev,KaneTW/Idris-dev,enolan/Idris-dev,Heather/Idris-dev,ozgurakgun/Idris-dev,enolan/Idris-dev,markuspf/Idris-dev,ben-schulz/Idris-dev,markuspf/Idris-dev,aaronc/Idris-dev,enolan/Idris-dev,ben-schulz/Idris-dev,markuspf/Idris-dev,jmitchell/Idris-dev,jmitchell/Idris-dev,KaneTW/Idris-dev,eklavya/Idris-dev,tpsinnem/Idris-dev,tpsinnem/Idris-dev,ozgurakgun/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,KaneTW/Idris-dev,bravit/Idris-dev,ben-schulz/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,enolan/Idris-dev,ben-schulz/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,KaneTW/Idris-dev,uuhan/Idris-dev,KaneTW/Idris-dev,eklavya/Idris-dev,ben-schulz/Idris-dev,bravit/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,eklavya/Idris-dev,eklavya/Idris-dev,aaronc/Idris-dev,aaronc/Idris-dev,jmitchell/Idris-dev,ben-schulz/Idris-dev,bravit/Idris-dev,FranklinChen/Idris-dev,ozgurakgun/Idris-dev,jmitchell/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,enolan/Idris-dev,Heather/Idris-dev,Heather/Idris-dev,ozgurakgun/Idris-dev,Heather/Idris-dev,FranklinChen/Idris-dev,FranklinChen/Idris-dev,markuspf/Idris-dev,mpkh/Idris-dev,enolan/Idris-dev,uuhan/Idris-dev,aaronc/Idris-dev,aaronc/Idris-dev,ozgurakgun/Idris-dev,eklavya/Idris-dev,FranklinChen/Idris-dev,kojiromike/Idris-dev,aaronc/Idris-dev,bravit/Idris-dev,ozgurakgun/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,FranklinChen/Idris-dev,jmitchell/Idris-dev,FranklinChen/Idris-dev,jmitchell/Idris-dev,tpsinnem/Idris-dev,eklavya/Idris-dev,tpsinnem/Idris-dev,kojiromike/Idris-dev,KaneTW/Idris-dev,markuspf/Idris-dev,tpsinnem/Idris-dev,kojiromike/Idris-dev,bravit/Idris-dev,mpkh/Idris-dev,bravit/Idris-dev,mpkh/Idris-dev