anchor.diff:  open Monads.StateResult
   open System
   
  -type EGTRecord =
  +type Record =
       | Charset = 67uy
       | DFAState = 68uy
       | InitialStates = 73uy
  
positive.code:     | Property = 112uy
      | Counts = 116uy
  
  type EGTEntry =
      | Empty
      | Byte of byte
      | Boolean of bool
  
negative.code:     | String of string
  
  /// What can go wrong with reading an EGT file.
  type EGTReadError =
      /// A [sequence error](Farkle.SeqError) did happen.
      | SeqError of SeqError
      /// Boolean values should only be `0` or `1`.
  