More correctly-compiling files, plus some more info in closure-todo.txt