pub fn split_pi(expr: &Expr) -> Option<(&Expr, &Expr)>
Split a pi type: extract the domain and codomain.