More Doxygen docs for tmb_core.hpp