Rewrote introduction of "Indexed \hprops and \hott" section.