d'oh. reading again DSST, they are right: we can spare the preTail marker. so let's simplify. step1: TotalOrder.Set. Todo: the marked map as well, and root post mark should have better tag (Int.MaxValue)
add appendMax. tests are fine
before trying to collapse the two ordering ins map
v1.9.0