Function mk_pi_chain 

pub fn mk_pi_chain(binders: Vec<(Name, Expr)>, ret: Expr) -> Expr

Build a chain of Pi-types from a list of (name, type) binders and a result type.