IF : Bool -> Expr -> Expr -> Expr;
IF True code end {
  return ({ code } end);
}
IF False _ end {
  return (end);
}
IF False _ (ELSE code) {
  return (code);
}

ELSE : Expr -> Expr
ELSE _ {
  return ();
}

WHILE condition:Bool code:Expr {
  return ({
    label $loop
    IF b {
      { code }
      goto $loop;
    }
    label $end;
  });
  BREAK {
    goto $end;
  }
}