Consider: content-addressed headers.
I guess you've heard of https://www.unison-lang.org/
Then you might as well embed the headers, since in that case you can't update the compiler and headers separately anyway.
I guess you've heard of https://www.unison-lang.org/