--- a/TODO Tue May 04 14:13:18 2010 +0200
+++ b/TODO Tue May 04 14:21:18 2010 +0200
@@ -14,6 +14,7 @@
- types of bindings match types of binding functions
- fsets are not bound in lst bindings
- bound arguments are not datatypes
+- binder is referred to by name and not by type
Smaller things: