Added checking that TypeDefs do not have intentions to compiler

compiler/2014/ErrorCheck.jrag

@@ -27,5 +27,4 @@ aspect ErrorCheck {
         getChild(i).errorCheck(collection);
         }
     }
-
 }

compiler/2014/TypeCheck.jrag

@@ -34,3 +34,18 @@ aspect TypeCheck {
     }
   }
 }
+
+aspect AnnotationCheck {
+
+  refine TypeCheck void ASTNode.typeCheck() {
+    refined(); // similar to call to super
+    annotationCheck();
+  }
+  public void ASTNode.annotationCheck() {}
+
+  public void TypeDecl.annotationCheck() {
+    if(getTypeInstance().hasIntentions()) {
+      error("TypeDecl " + getName() + " has intentions. (Not allowed for typedefs)");
+    }
+  }
+}