give better spec for merge
binary-search version of merge in adaptive sort