Uncommented the stuff in Decidable to see what happens.
Explicit instance to liftRel apparently makes Decidable work.
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #783 from tpsinnem/master

Make Decidable.Decidable and Decidable.Order available with a little fix