Very cool! Nicely written too, I appreciate the technical depth and examples.
If you like Linux distributions/systems with an emphasis on a single language and custom init systems, I’d encourage you to take a peek at GUIX. It has an init system written in scheme called shepherd.
I’d say, per your definition which I agree with BTW, GUIX falls on the distribution side of things.