fix RenderedTree.diff to label changed nodes using the type