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/