Many changes in the Coq development