Rust's Memory model and its abstraction in KMIR

[yanliu18]

It hasn't been brought up in our discussion yet, but we need to investigate this topic, how is memory managed in Rust and how should we abstract it in kmir.

Rustc implements Arena for its compile time memory management, e.g., memory allocation, locals, typing context, lifetime analysis etc..

Finding a proper way of implementing the arena in KMIR would probably solve multiple issues we have in our implementation so far. An approximated list of related issues:
#134
#87
#57
#55
#54