pub fn cond(c: &Expr, then: &Expr, els: &Expr, scope: &[(String, Value)]) -> R
条件（strict bool。採用側のみ評価）。then/else は未評価 IR で渡す。