Function mk_pi 

pub fn mk_pi(name: Name, dom: Expr, cod: Expr) -> Expr

Convenience: make a Pi-type (x : dom) -> cod.