Function mk_lam_n 

pub fn mk_lam_n(binders: &[(BinderInfo, Expr)], body: Expr) -> Expr

Build a nested Lam abstraction from a list of binders and a body.