dart2js cps: Introduce some built-in operators in type propagation.

tests/compiler/dart2js/js_backend_cps_ir_closures_test.dart

 // Copyright (c) 2014, 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.
 
 // Tests of closures.
 
 library closures_test;
 
 import 'js_backend_cps_ir.dart';
 
@@ skipping 34 matching lines @@
   const TestEntry("""
 main() {
   var x = 122;
   var a = () => x;
   x = x + 1;
   print(a());
 }
 """,
 r"""
 function() {
-  var _box_0 = {}, a, x;
+  var _box_0 = {}, a;
   _box_0._captured_x_0 = 122;
   a = new V.main_closure(_box_0);
-  _box_0._captured_x_0 = J.getInterceptor$ns(x = _box_0._captured_x_0).$add(x, 1);
+  _box_0._captured_x_0 = _box_0._captured_x_0 + 1;
   P.print(a.call$0());
   return null;
 }"""),
 
   const TestEntry("""
 main() {
   var x = 122;
   var a = () {
     var y = x;
     return () => y;
   };
   x = x + 1;
   print(a()());
 }
 """,
 r"""
 function() {
-  var _box_0 = {}, a, x;
+  var _box_0 = {}, a;
   _box_0._captured_x_0 = 122;
   a = new V.main_closure(_box_0);
-  _box_0._captured_x_0 = J.getInterceptor$ns(x = _box_0._captured_x_0).$add(x, 1);
+  _box_0._captured_x_0 = _box_0._captured_x_0 + 1;
   P.print(a.call$0().call$0());
   return null;
 }"""),
 
   const TestEntry("""
 main() {
   var a;
   for (var i=0; i<10; i++) {
     a = () => i;
   }
   print(a());
 }
 """,
 r"""
 function() {
   var a = null, i = 0;
-  while (P.identical(J.getInterceptor$n(i).$lt(i, 10), true)) {
+  while (J.getInterceptor$n(i).$lt(i, 10)) {
     a = new V.main_closure(i);
     i = J.getInterceptor$ns(i).$add(i, 1);
   }
   P.print(a.call$0());
   return null;
 }"""),
 
   const TestEntry.forMethod('function(A#b)', """
 class A {
   a() => 1;
   b() => () => a();
 }
 main() {
   print(new A().b()());
 }
 """,
 r"""
 function() {
   return new V.A_b_closure(this);
 }"""),
 ];
 
 void main() {
   runTests(tests);
 }