diff -r 695c1ed61879 -r 6800fcaafa2a TODO
--- 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: