renameTTree (TLeaf 3.14) == TLeaf 1
renameTTree (TNode "abc" (TNode "xyz" (TLeaf "abc") (TLeaf "abc") (TLeaf "abc")) (TLeaf "abc") (TLeaf "uv")) == (TNode 1 (TNode 2 (TLeaf 1) (TLeaf 1) (TLeaf 1)) (TLeaf 1) (TLeaf 3)) 

mRTT (TLeaf 3.14) == (TLeaf 1)
mRTT  (TNode "abc" (TNode "xyz" (TLeaf "abc") (TLeaf "abc") (TLeaf "abc")) (TLeaf "abc") (TLeaf "uv")) == (TNode 1 (TNode 2 (TLeaf 1) (TLeaf 1) (TLeaf 1)) (TLeaf 1) (TLeaf 3)) 

numberTree (Leaf 3.14) == (Leaf 1)
numberTree (Node "abc" (Node "xyz" (Leaf "abc") (Leaf "abc")) (Leaf "abc")) == (Node 1 (Node 2 (Leaf 3) (Leaf 4)) (Leaf 5))

numberTreeMF (Leaf 3.14) == (Leaf 1)
numberTreeMF (Node "abc" (Leaf "abc") (Leaf "abc")) == (Node 1 (Leaf 2) (Leaf 3))