variable scoping

[fredi-68]

utility functions, and particularly recursion, won't work without introducing scoped variables. This requires a complete redesign of our variable management code