Strengthen the type soundness theorem

When evaluation results in an exception, know that the exception value raised
has type exn.