anchor.diff:          Class "Navigator" 
           |+> Instance ["geolocation" =? Geolocation.Geolocation]
   
  +    let MQL =
  +        Class "MediaQueryList"
  +        |=> Inherits Dom.Interfaces.EventTarget
  +        |+> Instance [
  +            "matches" =? T<bool>
  +            "media" =? T<string>
  +            "onchange" => Dom.Interfaces.Event ^-> T<unit>
  +        ]
  +
  +    let CSSSD =
  +        Class "CSSStyleDeclaration"
  +        |+> Instance [
  +            "cssText" =@ T<string>
  +            "length" =? T<int>
  +            "getPropertyPriority" => T<string> ^-> T<string>
  +            "getPropertyValue" => T<string> ^-> T<string>
  +            "item" => T<int> ^-> T<string>
  +            "removeProperty" => T<string> ^-> T<string>
  +            "setProperty" => T<string>?propertyName * !? T<string>?value * !? T<string>?priority ^-> T<unit>
  +        ]
  +
       let Window = 
           let f = Dom.Interfaces.Event ^-> T<unit>
           WindowProxyType
  
positive.code:             "open" => (T<string> * T<string>) ^->  WindowProxyType
              "open" => (T<string>) ^->  WindowProxyType
              "open" => (T<unit>) ^->  WindowProxyType
  
              "navigator" =? Navigator
              "crypto" =? T<obj>
  
negative.code:                 General.ScrollRestoration
                  General.UndoManager
                  General.Window
                  General.CSSSD
                  General.MQL
                  TypedArrays.DataView.Class
                  TypedArrays.ArrayBuffer
                  TypedArrays.ArrayBufferView
  