Added RandomAccess finger tree type.