Renegotiation-proof mechanism design with imperfect type verification