Nice work!

One nitpick: local function declarations, like

    local function g(x) return g(x) end

are actually the same as writing

    local g;
    g = function (x) return g(x) end

. Without that first local g; statement, local functions wouldn't be able to call themselves recursively.