Corrected some things in the non-local return section. Added handling for #doesNotUnderstand not being understood. Wrote some more stuff, still of dubious correctness, in the exceptions section.