Supporting conversion from generic to specialized on overflow (for maps).
Refactoring code generator to deal differently with recursion in updated() and removed() methods.
Fixing removeInplaceValueAndConvertToSpecializedNode() for sets.