Deterministic Destruction (GC)

[iwillspeak]

Currently values allocated, at the moment just Strings, are never deallocated.

A first-cut of ensuring deallocation could use reference counting on each allocated object. Emitted code will need to keep track of when an item enters and leaves scope, along with when the object is copied. A possible optimisation would be to use escape analysis to store values which never live longer than the current function on the stack rather than the heap.