Urbit was my first thought too, at least in the ambition of starting afresh with alien assumptions. I can understand this a bit better and it doesn't trigger my "this is all batshit insane" detector. Also, decrement probably isn't O(n).