Fixed rewind / render for records

* Changed rewind to be a kielsi arrow in Maybe so that it models the
  notion of failure correctly
* Fixed the graft function selecting when needing to rewind back up the
  structure (left rather than right)
* removed multi-way if extension.