Function mk_lam_chain 

pub fn mk_lam_chain(binders: Vec<(Name, Expr)>, body: Expr) -> Expr

Build a chain of lambdas from a list of (name, type) binders and a body.