Implement some BinaryTree functions and specs