diff -r 38bbccdf9ff9 -r 8bd75f2fd7b0 TODO
--- a/TODO	Tue May 04 16:17:46 2010 +0200
+++ b/TODO	Tue May 04 16:18:07 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: