Yeah, that seems to work. Thanks! I still wonder about the mutable data question though. Can we do better than logarithmic overhead, or is there a problem for

Yeah, that seems to work. Thanks! I still wonder about the mutable data question though. Can we do better than logarithmic overhead, or is there a problem for which we provably cannot?