From Stacks to Trees: A new aliasing model for Rust

It's particularly interesting that Tree Borrows treats all mutable references as two-phase borrows, which seems to have unexpected benefits and could make the model more permissive