Table 1 formatting option
Renamed fourth column in Table 1 to "Homotopy".

This is done primarily so that the table fits into US Trade
format, but also because "Homotopy Type Theory" is a worse
name for the column than just "Homotopy Theory". But then
it doesn't matter if we say "Homotopy" in the name of keeping
the column width acceptable.