raco: update with cardinality-aware crossproducts