fixes to RelDec and Consider.

- move "default" instances of RelDec (Sum still remains)
- remove dependency of RelDec on Consider
- remove example from Consider to avoid pulling
  in Omega