Improved iteration.
Improved equality and renaming of local variables.
Supporting remove with new value/node encoding.
Towards supporting immutable and mutable (thread-local) operations.