[fulafel]

This "get freedom from binary compatibility by shipping binaries as compiler IR" concept is a venerable one and has been done many times with VLIW machines:

See here, https://scholar.google.com/scholar?hl=en&q=A+Technique+for+O...

(Not to mention earlier examples like AS/400, P-code etc)

I think the Mill was doing this too?