anchor.diff:              "open" => (T<string> * T<string>) ^->  WindowProxyType
               "open" => (T<string>) ^->  WindowProxyType
               "open" => (T<unit>) ^->  WindowProxyType
  +            "close" => T<unit> ^-> T<unit>
   
               "navigator" =? Navigator
               "crypto" =? T<obj>
  
positive.code:             "statusbar" =? BarProp
              "toolbar" =? BarProp
  
  
              "frames" =? WindowProxyType
              "length" =? T<int>
  
negative.code:         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
  