Updating: improving libats/deqarray