Added Traversable instances for the tree elements.
Added tree labeling.