remove TodoNothing in favor of using a list for TodoExp
remove TodoNothing in favor of using a list for TodoExp

darcs-hash:20070522022640-1a7c6-03834cc04300232d752c28b22c8462c4ac7c00b6

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc