Add binary tree and traversal spec