Tree-Manipulating Systems and Church-Rosser Theorems