Joint limits on finite restricted product measures

Compatibility module for the general convergence-in-measure API.