Function mk_lam_many 

pub fn mk_lam_many(binders: &[(Name, Expr)], body: Expr) -> Expr

Build a lambda over a list of binders, innermost last.

mk_lam_many(&[(name, ty), ...], body) wraps body in lambdas.