feat(Algebra/Order): {WithTop,ENat}.addLECancellable_coe (#21358)
{WithTop,ENat}.addLECancellable_coe