Fully implement scopes.

[frame-lang]

Need to fix scope issues universally and create tests. This is a start:

#TestEmptyBranchesForPython2
    -machine-

    $S1

        |e|
            a ? :|
            b ? {} :|
            c ? {} {} {} :|
            d ? { {} } :|
            ^
        |f|
            e ? {} { foo() } {} :|
            f ? foo() {} :|
            g ? {} foo() :|
            h ? foo() {}  :|
            i ? { { { foo() } } } :|
            ^
        |g|
            a ? : :|
            b ? : foo() :|
            c ? : {} :|
            c1 ? : {} {} {} :|
            d ? : {} { foo() } {} :|
            e ? : foo() {} :|
            f ? : {} foo() :|
            f1 ? : foo() {}  :|
            g ? : { {} } :|
            h ? : { { { foo() } } } :|
            ^
##