Coq Eggs updated