Partial fix for Issue 709.

frog/gen.dart

Index: frog/gen.dart
diff --git a/frog/gen.dart b/frog/gen.dart
index 6851840ef9e6a049996d6db9f9ed71a526099bd0..08acc18cc7283c1a5a13f40d468079accd031eec 100644
--- a/frog/gen.dart
+++ b/frog/gen.dart
@@ -219,7 +219,7 @@ class WorldGenerator {
       return '${type.jsname}.$name';
     } else if (type.isHiddenNativeType) {
       corejs.ensureDynamicProto();
-      return '\$dynamic("$name").${type.jsname}';
+      return '\$dynamic("$name").${type.definition.nativeType.name}';
     } else {
       return '${type.jsname}.prototype.$name';
     }
@@ -274,7 +274,13 @@ class WorldGenerator {
       if (nativeName == '') {
         writer.writeln('function ${type.jsname}() {}');
       } else if (type.jsname != nativeName) {
-        writer.writeln('${type.jsname} = ${nativeName};');
+        if (type.isHiddenNativeType) {
+          // This is a holder for static methods.
+          // TODO(sra): Generate only if used.
+          writer.writeln('function ${type.jsname}() {}');
+        } else {
+          writer.writeln('${type.jsname} = ${nativeName};');
+        }
       }
     }