Changed hprop to internal collapsibility to indicate we're talking about the non-hott case.