Add a finalizer to the CoercionEnvironment
We have some space anyway (there now is a ce_dummy
, which can be removed). This will make it possible to nuke the interpreter when interpretation is completely finished. At this point, there are no references to the CoercionEnvironment
any more.