A functional Treap that uses path-copying