Hey!
Have you guys considered how Unison language (https://www.unisonweb.org/) could fit with Holochain?
It’s a first content-addressable programming language, meaning that every piece of code has a hash-identifier that is derived from the content of all its dependencies.
This leads to some quite important implications - code is always consistent, immutable and can be linked without limit, describing entire distributed systems, while being able to be dynamically deployed across underlying machines.
They are now in Alpha.