Updating: minorly improving libats/ML/list0