Function lambda 

pub fn lambda(binders: Vec<(String, CoqTerm)>, body: CoqTerm) -> CoqTerm

Build CoqTerm::Lambda.