prove a compiler proofs cheat, but add a cheat to replCorrect

the introduced cheat is about check_dup_ctors for every type
declaration in a module, even if the whole module isn't run.