Added [isequiv_cancelL], and various related changes.
Added [trunc_leq].