Expand description
Generic unification over tagged heap words.
Ports patch-prolog’s unify.rs semantics to the cell heap: no occurs
check (ISO 8.3.2), trail-recorded bindings, float equality via
to_bits (NaN unifies with NaN). Iterative worklist — no recursion,
so pathological terms can’t blow the C stack.