ooh interesting. So it’s kind of like having iNet inside iNet, like node is implemented as an iNet itself (or a sub-iNet)?

we will probably need some graph-theoretical way of defining the env for it to be able to spring up a towel of meta-circular interpreters