Implement RBST<Key>