added the full_binary_tree example. It's still going to change, but it at least illustrates more code using the contracts