Nested code-blocks, resolve tricky circular dependency across grammar regarding Functions
Much extended the function implementation; bytecode cleanups; del variables at end of scopes