ordinal(buchholz): head-Ω Slice 2 — ω-rank-pow-succ + fin-branch dominance

ordinal(buchholz): head-Ω Slice 2 — ω-rank-pow-succ + fin-branch dominance #541