Fix a cheat in replCorrect

Using the new type soundness conclusion, only exceptions can be raised,
not word8s.