- Commented out unused predicates and moved mapargs to its own module

- Implemented rrewind, rdelete, rundo and more predicates to make
  application of refactorings compositional.