The plan is something like mutable value semantics and linear types. I'm figuring it out :)