preliminaries

[DanGrayson]

Reminder: The question mark in

Most (all ?) constructions introduced in this book are predicative.

in preliminaries.tex seems to indicate a question for the authors to resolve.

[mikeshulman]

I think the answer is "no", since we are using hprop resizing in a few places. So I removed the "all?". However, that whole section is supposed to move later in the chapter as well.