[ bug ] reverse does not make sense

* `unfoldOne` is supposed to be semantics preserving but does not
  commute with  ̀reverse` so we'd better get rid of the latter.