Some benchmark numbers, very rough
Make sure the Core of the GHC files is present, even if recompilation is skipped
Rewrite relabel not in terms of subst - simpler, more obviously correct, faster