Updating: improving libats/ML/array0