ordinal(buchholz): fix Slice 2-bplus — explicit implicit on ≤′-refl (CI-quota fallout)

ordinal(buchholz): fix Slice 2-bplus — explicit implicit on ≤′-refl (CI-quota fallout) #552