pub fn and(a: &Expr, b: &Expr, scope: &[(String, Value)]) -> R
論理積（短絡: a=false なら b は評価されない）。b は未評価 IR で渡す。