more complete TeX install
include coq before I forget about it
I can has namespaces
namespaces! modular install!