Fix selector name check, and make the interceptor participate in speculatively propagating types.

tests/compiler/dart2js/mock_compiler.dart

 // Copyright (c) 2012, 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.
 
 library mock_compiler;
 
 import 'dart:uri';
 
 import '../../../sdk/lib/_internal/compiler/compiler.dart' as api;
 import '../../../sdk/lib/_internal/compiler/implementation/elements/elements.dart';
@@ skipping 48 matching lines @@
     var length;
     operator[](index) {}
     operator[]=(index, value) {}
     var add;
   }
   class JSString {
     var length;
     operator[](index) {}
   }
   class JSNumber {
+    operator-() {}
   }
   class JSInt {
   }
   class JSDouble {
   }
   class JSNull {
   }
   class JSBool {
   }
   class JSFunction {
@@ skipping 219 matching lines @@
   operator []=(Node node, Element element) {
     map[node] = element;
   }
 
   operator [](Node node) => map[node];
 
   void remove(Node node) {
     map.remove(node);
   }
 }