morecoq: progress commit