Updating: improving libats/linset_listord