Implement `if`/`else` statements

[ppenenko]

Should look something like

with sh.if_( sh.a < sh.b ):
    sh.c = sh.a
with sh.else_:
    sh.c = sh.b

Scopes of the branches should be easy to implement similar to scopes of function bodies. Boolean conditions would require Boolean types.