Our whole Operating Function / OS is premised on the concept of closures.
Take typed functional programming and create a closure of the highest loop and you end up with the full state of a running machine (homoiconic data _and_ code) as a single serializable and portable value.

I think our tech compliments many of the ideas in NKBIP-01 very well. What you are describing is basically Supercombinators for ideas, what we provide is supercombinators for compute 🤝 

https://www.youtube.com/watch?v=pQzeYhSp1pw