Make [tele_arg_cons] cumulative.

2 jobs for !368 with fixpoint-tele_arg in 4 minutes and 36 seconds (queued for 8 seconds)
merge request