How should Topoi manage memory usage?

[wongjiahau]

We have multiple choices:

1. Allow user to manage memory manually (like C/C++)
2. Let runtime manage memory automatically (e.g. garbage collection (GC) or automatic reference counting (ARC))
3. Let compiler optimise memory usage via linear type or linear logic (like Rust).