Starting work on TreePair.reduce()

Works okay for elements of F at the moment. Needs more tests, though.
Fixed a bug in DrawableTree.render(). Renaming num_children() to
__len__() in commit 7808ab073e57d6d51fbaf3e61f67d5defc0ce74d meant that
leaves were False when evaluated as booleans.