CoqInE: Fix bug affecting inductive types in modules equal to other modules.