Just some notes for myself about how to redesign the AST type

TODO.md

@@ -1,8 +1,20 @@
 
 # TODO Items
 
+-Plan of attack:
+  -write a visitor pattern for AST
+  -convert AST type to including SourceMap'd wrappers (w/ .into())
+    -at the same time, amke sure the visitor pattern "skips over" the SourceMap'd stuff
+    so it can just care about AST structure
+
+- AST : maybe replace the Expression type with "Ascription(TypeName, Box<Expression>) nodes??
+- parser: add a "debug" field to the Parser struct for all debug-related things
+
+-scala-style html"dfasfsadf${}" string interpolations!
+
 -fuzz test schala
 
+
 *A neat idea for pattern matching optimization would be if you could match on one of several things in a list
 ex:
 if x {
@@ -102,10 +114,7 @@ type enum {
 
 
 
-- AST : maybe replace the Expression type with "Ascription(TypeName, Box<Expression>) nodes??
-- parser: add a "debug" field to the Parser struct for all debug-related things
 
--scala-style html"dfasfsadf${}" string interpolations!
 
 *Compiler passes architecture