Resolved #124: renamed [Equivalences.isequiv_cancelR] to [cancelR_isequiv] etc.