Victor

[a, b] = typer(); — вот эта вещь (ЕМНИП, называется декомпозиция и является частным случаем pattern matching) не будет работать. Но в данном случае можно заменить на

a = typer()[0];
b = typer()[1];

Не знаю насколько вам подойдет, но только через работу с объектом пришло в голову:

    var invoke_real = 
    {
        real: function(fn)
        {
           this.test = 'sss';
           fn(this);
           this.f();
        }
    };
    var tester_real = function(ctx){ctx.f = function() {alert(this.test);};};

    invoke_real.real(tester_real);

scope наследуется только если функция определена внутри другой функции, так что сомневаюсь что можно сделать значительно проще.