Updating: improving libats/sllist