A first rough stab at updating the Coq development to the latest rules.