Function inst_pi 

pub fn inst_pi(name: &str, ty: Expr, body: Expr) -> Expr

An instance Pi binder [inst : ty].