Updated doc/todo/design.txt