Implement named constructors and resolving of redirecting constructors and super-initializers.

frog/leg/typechecker.dart

Index: frog/leg/typechecker.dart
diff --git a/frog/leg/typechecker.dart b/frog/leg/typechecker.dart
index 166344b12f34d67008a28695f11eaf01d0f7234e..35657b95e12aa2e4f663cc02b83dfdc3a65d2e8c 100644
--- a/frog/leg/typechecker.dart
+++ b/frog/leg/typechecker.dart
@@ -510,8 +510,7 @@ class TypeCheckerVisitor implements Visitor<Type> {
     if (node.typeName === null) return types.dynamicType;
     Identifier identifier = node.typeName.asIdentifier();
     if (identifier === null) {
-      compiler.cancel('library prefix not implemented',
-                      node: node.typeName);
+      fail(node.typeName, 'library prefix not implemented');
     }
     // TODO(ahe): Why wasn't this resolved by the resolver?
     Type type = lookupType(identifier.source, compiler, types);