added 2 necessary node kinds

compiler/ast.nim

@@ -198,6 +198,9 @@ type
     nkMutableTy,          # ``mutable T``
     nkDistinctTy,         # distinct type
     nkProcTy,             # proc type
+    nkIteratorTy,         # iterator type
+    nkSharedTy,           # 'shared T'
+                          # we use 'nkPostFix' for the 'not nil' addition
     nkEnumTy,             # enum body
     nkEnumFieldDef,       # `ident = expr` in an enumeration
     nkArgList,            # argument list

lib/core/macros.nim

@@ -53,7 +53,10 @@ type
     nnkRefTy, nnkPtrTy, nnkVarTy,
     nnkConstTy, nnkMutableTy,
     nnkDistinctTy,
-    nnkProcTy, nnkEnumTy,
+    nnkProcTy, 
+    nnkIteratorTy,         # iterator type
+    nnkSharedTy,           # 'shared T'
+    nnkEnumTy,
     nnkEnumFieldDef,
     nnkArglist, nnkPattern
     nnkReturnToken

todo.txt

@@ -2,10 +2,10 @@ version 0.9.2
 =============
   
 - test&finish first class iterators:
+  * tyIterator: implement nkIteratorTy, nkSharedTy
   * allow return in first class iterators
   * nested iterators
   * arglist as a type?
-  * tyIterator?
 
 - fix closure bug finally
 - overloading based on ASTs: 'constraint' should not be in PType but for the