At the cost of doubling the state size you can maintain an undo skip list to get log N performance for long undos. But that is useless for he common case of ste

At the cost of doubling the state size you can maintain an undo skip list to get log N performance for long undos. But that is useless for he common case of stepping back one at a time.