spec-draft tweak

Author: msullivan

spec-draft.rst

@@ -21,10 +21,7 @@ Grammar specification of the extensions to the type language.
 
 It's important that there be a clearly specified type language for the type-level computation---we can't just be using some poorly specified subset of all Python.
 
-TODO:
-- Look into TupleTypeVar stuff for iteration
-
-Big Q: what should be an error and what should return Never?
+# TODO: Big Q: what should be an error and what should return Never?
 
 
 ::