Function wrap_filter 

pub fn wrap_filter(hops: &[RelationHop], inner: FilterExpr) -> FilterExpr

Fold a scalar FilterExpr outward through the traversed path, applying each hop’s quantifier. Mirrors what the macro previously emitted as nested FilterExpr::relation*(...) token trees.