Fix problems in design/splay:
"Node" structure now called "Tree", so fix cross-reference.
.future.reverse was removed, so remove cross-reference to it.