Comment by steveklabnik

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