upgrade diagrams to 1.2.  Closes #6.
update LaTeX commands for equalities of all sorts
move definition of HoTT category of Sets, and a few other updates