Get rid of old entity decoder
(minor) make expression more obviously share a common subexpression.
Make Node's SerializeToReadable extension public
Improve Node's binary search, add comments about invariants.
Implement a prefix incrementor using the new Node's child accessor.

It's a bit trickier that usual due to the use of mutable value types.