Toward a GC.
Another example.
Trying out memo GC.
Refined interaction evaluators.