Code

This implements the new "recursive tree" write-tree.