Open
Description
There is currently no memory management.
We need a lot of work in order to have a borrow checker that can infer the lifetime of any used allocation.
This is a long-term issue to keep track of what is missing before beginning the implementation