moved around some comments to fix the broken web display

[emilyriehl]

We're still having some display issues with the Segal types file. I believe this fixes them by repositioning some comments in the markdown portion and out of the code blocks.

There is (at least!) one thing that is not optimal about the revisions I've posted here. I vaguely recall a suggestion either to

• use LaTeX (between single dollar signs, I believe) for variable and type names that occur in the markdown portions,
• use rzk code blocks (not sure how this is done inline)

Which should be our default style?

[emilyriehl]

One more thing to mention: I changed "(2,1)-horn" to "horn" (since we haven't discussed any other horns) and removed the subsubsection titles that reference the horns. Since those titles were so long, it wasn't displaying well (on my machine) but if @fredrik-bakke feels strongly he can revert this change.

[emilyriehl]

Unless there are any further suggestions/objections I'll go ahead and merge now.