Related to #724

There're (probably) no problems with things like ternary/binary/cond/if-else/etc - components that we wanna support at syntax level, that are NOT implemented as HOCs.

On the other hands there are things like For(Each), etc. They have dependencies. Let's imagine this kind of syntax for #687

def Foo(foo stream<int>, bar any) (sig any) {
    :foo -> for {
        // accessing :bar from here
        data -> ...
        idx -> ...
        last -> ...
    } -> :sig
}

For(Each) is a component that takes dependency and DI in Nevalang is not inline (see #720 for details). This mean that we don't have closures. In other words we can't access :bar from inside for loop here. Same goes for switch, match, etc. All syntax features that implemented as HOCs under the hood.