Wrote some stuff on internalising collapsibility and indexed hprops.