Rewrote non-local return and folded what was left of former skip stack section into it. With Andres, finished (more or less) the exception approximate implementation. Still needs proofreading and explanation.