Updating: improving libats/linralist