pub(crate) fn destruct_binder<'t>( t: &'t Term, head: &SymbolUri, ) -> Option<(Either<&'t ComponentVar, &'t ComponentVar>, &'t Term)>