Merging private types with the current version of Coq