Similar Items: Modes of Convergence for Term Graph Rewriting