Uses shadow trees, Type T nodes, pointers to build binary trees.