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.