internal Version(Version prev)
 {
     this.provider = prev.provider;
     this.id       = unchecked (prev.id + 1);
 }
 internal Version(TextSourceVersionProvider provider)
 {
     this.provider = provider;
 }