Function impl_pi 

pub fn impl_pi(name: &str, dom: Expr, body: Expr) -> Expr