Spec out yet more LaTeX framework.. and stub in categorytheory section. (WIP).