TODO.

TODO

@@ -2,7 +2,12 @@
 
 TODO (REALLY):
 
-In BindingFormsUnbound, implement [endo] and [iter2].
+Continue work on BindingFormsUnbound or BindingFormsSimplified.
+Think about other approaches to Rec:
+- using laziness combined with mutability? might allow a single traversal.
+- offering LetRec(p, t, u) as a primitive combinator?
+Think about other approaches to repeated names.
+In the end, implement iter, map, endo, iter2.
 
 copy and avoid should use [endo], not [map].