Added tests for MonadException and fix issue with catch_exception interface.