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