[tekne]

Consider: content-addressed headers.

[vidarh]

Then you might as well embed the headers, since in that case you can't update the compiler and headers separately anyway.

[IshKebab]

I guess you've heard of https://www.unison-lang.org/