Function strip_pi_binders 

pub fn strip_pi_binders(expr: &Expr) -> (Vec<(BinderInfo, Name, Expr)>, &Expr)

Strip outer Pi binders, collecting binder info.

Returns (binders, inner_type) where binders is a list of (BinderInfo, Name, domain_type).