Reviews code contracts on IIntervalCollection, ICollectionValue and IInterval.
Adds AllowsReferenceDuplicates to strengthen contracts.
Adds the keyword usage to enumerators.
Strengthens the code contracts on the IIntervalCollection interface and DynamicIntervalTree.
Fixes an error on DIT where intervals were overwritten if duplicate intervals were added.