reverse -rc = tree + reversed ->
  reversed = <
               left : right
               right : left
               data : tree.data
             >
  ' left : tree-node = reverse tree.left [ tree.left ] | .,
    right : tree-node = reverse tree.right [ tree.right ] | .
_
  tree, reversed : tree-node
;