lazy treap join exposition