Add UInt32 and UInt31 types to better infer bit operations.

tests/compiler/dart2js/simple_inferrer_no_such_method_test.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'package:expect/expect.dart';
 
 import "package:async_helper/async_helper.dart";
 import 'compiler_helper.dart';
 import 'parser_helper.dart';
 
@@ skipping 89 matching lines @@
     var typesInferrer = compiler.typesTask.typesInferrer;
     var element = findElement(compiler, name);
     Expect.equals(
         type,
         typesInferrer.getReturnTypeOfElement(element).simplify(compiler),
         name);
   }
 
   var compiler1 = compilerFor(TEST1, uri);
   asyncTest(() => compiler1.runCompiler(uri).then((_) {
-    checkReturn(compiler1, 'test1', compiler1.typesTask.intType);
+    checkReturn(compiler1, 'test1', compiler1.typesTask.uint31Type);
     checkReturn(compiler1, 'test2',
         compiler1.typesTask.dynamicType.nonNullable());
-    checkReturn(compiler1, 'test3', compiler1.typesTask.intType);
+    checkReturn(compiler1, 'test3', compiler1.typesTask.uint31Type);
     checkReturn(compiler1, 'test4', compiler1.typesTask.mapType);
     checkReturn(compiler1, 'test5',
         compiler1.typesTask.dynamicType.nonNullable());
     checkReturn(compiler1, 'test6',
         compiler1.typesTask.dynamicType.nonNullable());
   }));
 
   var compiler2 = compilerFor(TEST2, uri);
   asyncTest(() => compiler2.runCompiler(uri).then((_) {
     checkReturn(compiler2, 'test1', compiler2.typesTask.mapType.nonNullable());
     checkReturn(compiler2, 'test2', compiler2.typesTask.mapType);
     checkReturn(compiler2, 'test3', compiler2.typesTask.mapType);
     checkReturn(compiler2, 'test4', compiler2.typesTask.mapType);
     checkReturn(compiler2, 'test5', compiler2.typesTask.mapType);
 
     checkReturn(compiler2, 'test6', compiler2.typesTask.numType);
-    checkReturn(compiler2, 'test7', compiler2.typesTask.intType);
-    checkReturn(compiler2, 'test8', compiler2.typesTask.intType);
-    checkReturn(compiler2, 'test9', compiler2.typesTask.intType);
+    checkReturn(compiler2, 'test7', compiler2.typesTask.uint31Type);
+    checkReturn(compiler2, 'test8', compiler2.typesTask.uint31Type);
+    checkReturn(compiler2, 'test9', compiler2.typesTask.uint31Type);
     checkReturn(compiler2, 'test10', compiler2.typesTask.numType);
     checkReturn(compiler2, 'test11', compiler2.typesTask.doubleType);
   }));
 }