Insert value with identity id immediately after the element whose id is after (RgaId.HEAD means "insert at the front").
Concurrent inserts after the same after are resolved by id: the larger id wins the slot immediately after after; the smaller id follows.