Changed operator.
Rewritten the exception-wrapper function to rewrap if meeting a wrapper-exn.