li.rudin.core.util.stream.progress (core-base 1.7 API)