Better implementation of new features:
* `extractvalue` and `insertvalue` are fully handled.
* `resume` value propagated to `landingpad`.
* exception variable is global, to avoid return parameter conflicts.