If your program is an interpreter, then I think the ownership model is going to be dominated by the program being interpreted, not the intepreter itself... Th

If your program is an interpreter, then I think the ownership model is going to be dominated by the program being interpreted, not the intepreter itself... That is, has to be general enough to interpret any program, and many of those programs will have cyclic data structures. TSC is not an interpreter, but its type system is Turing complete, so I wouldn't be surprised if it has some similar issues.