> with functions named by their normalized hash contents, and referred to anywhere by that, but I can't seem to remember what it's called right now. Something like "Universe" I think?

Unison: https://www.unison-lang.org/docs/the-big-idea/