Consider using compact regions for loaded interface files

There's precedent in Agda and Lean (personal communication with one of the maintainers) in doing so. Data loaded from interface files is likely to be alive throughout the whole compilation run.