Function pi 

pub fn pi(bi: BinderInfo, name: &str, dom: Expr, body: Expr) -> Expr

Build Pi (name : dom), body with given binder info.