add notes on implementation details to binary_tree.pxi