Fix type soundness cheats.