Resolve type Dynamic and implement black listing.

dart/frog/leg/warnings.dart

 // Copyright (c) 2011, 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.
 
 class MessageKind {
   final String template;
   const MessageKind(this.template);
 
   static final GENERIC = const MessageKind('#{1}');
 
@@ skipping 133 matching lines @@
   static final CANNOT_INSTANTIATE_TYPEDEF = const MessageKind(
       "cannot instantiate typedef '#{1}'");
 
   static final NO_DEFAULT_CLASS = const MessageKind(
       "no default class on enclosing interface '#{1}'");
 
   static final CYCLIC_TYPE_VARIABLE = const MessageKind(
       "cyclic reference to type variable #{1}");
   static final TYPE_NAME_EXPECTED = const MessageKind(
       "class or interface name exptected");
+
+  static final CANNOT_EXTEND = const MessageKind(
+      "#{1} cannot be extended");
+
+  static final CANNOT_IMPLEMENT = const MessageKind(
+      "#{1} cannot be implemented");
+
   toString() => template;
 }
 
 class Message {
   final kind;
   final List arguments;
   String message;
 
   Message(this.kind, this.arguments);
 
@@ skipping 47 matching lines @@
   String toString() => message.toString();
 }
 
 class CompileTimeConstantError {
   final Message message;
   CompileTimeConstantError.message(this.message);
   CompileTimeConstantError(MessageKind kind, List<Type> arguments)
     : message = new Message(kind, arguments);
   String toString() => message.toString();
 }