Make DOMType the root of DOM implementation types.

client/dom/generated/src/frog/Navigator.dart

Index: client/dom/generated/src/frog/Navigator.dart
diff --git a/client/dom/generated/src/frog/Navigator.dart b/client/dom/generated/src/frog/Navigator.dart
index a32065f3437726b9dfe6487d9651d3d0fd8819db..56d6c0930b9c0efe2d532d91dfd1487be7f3dac2 100644
--- a/client/dom/generated/src/frog/Navigator.dart
+++ b/client/dom/generated/src/frog/Navigator.dart
@@ -1,5 +1,5 @@
 
-class NavigatorJS implements Navigator native "*Navigator" {
+class NavigatorJs extends DOMTypeJs implements Navigator native "*Navigator" {
 
   String get appCodeName() native "return this.appCodeName;";
 
@@ -9,17 +9,17 @@ class NavigatorJS implements Navigator native "*Navigator" {
 
   bool get cookieEnabled() native "return this.cookieEnabled;";
 
-  GeolocationJS get geolocation() native "return this.geolocation;";
+  GeolocationJs get geolocation() native "return this.geolocation;";
 
   String get language() native "return this.language;";
 
-  DOMMimeTypeArrayJS get mimeTypes() native "return this.mimeTypes;";
+  DOMMimeTypeArrayJs get mimeTypes() native "return this.mimeTypes;";
 
   bool get onLine() native "return this.onLine;";
 
   String get platform() native "return this.platform;";
 
-  DOMPluginArrayJS get plugins() native "return this.plugins;";
+  DOMPluginArrayJs get plugins() native "return this.plugins;";
 
   String get product() native "return this.product;";
 
@@ -36,8 +36,4 @@ class NavigatorJS implements Navigator native "*Navigator" {
   bool javaEnabled() native;
 
   void registerProtocolHandler(String scheme, String url, String title) native;
-
-  var dartObjectLocalStorage;
-
-  String get typeName() native;
 }