Transfer of convergence in measure

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