Start implementing the treap type.