* builders/Make.tex.nw: better TOC
* builders/Make.tex.nw: distribute from extra to this file
* builders/mk/: typeify
* docs/latex/Template.tex.nw: