public ElementDescriptor WithLengthChangedBy(int i) { return new ElementDescriptor { Index = this.Index, LocalPosition = this.LocalPosition, Length = this.Length + i }; }