Function apply_beta 

pub fn apply_beta(expr: Expr, args: &[Expr]) -> Expr

Apply multiple arguments to a lambda, performing beta reduction.

apply_beta(λ x y. body, [a, b]) reduces to body[a/x, b/y].