Added recent rebalancing-avoiding improvements to the drop-in replacement files. Added type annotations to some methods in Set which are needed when building with the proto-compiler (to compile FSharp.Core).