Fix nested closures

[evincarofautumn]

Something about an inner function capturing locals from an enclosing function multiple levels up. To do:

• Come up with a minimal test case
• Add internal debugging modes to make this kind of thing easier to catch & fix in the future
• In debug mode, retypecheck terms after scoping