Make progress() clearer in ProgressFuture