Description
When popping a scope or forgetting a variable, we might modify the heap model making some locations unreachable. We can exploit this by producing some substitutions that remove those locations from types and values as well, to have some form of garbage collection.