Look at bounded relaxation of linear to thread

[mukul-rathi]

So can do

class Foo{
... linear
}

void main(){
let x = new Foo (); 
... something something... // x is linear
bound x as blah {
    // x is thread-local in here
}
// x is linear again

Therefore could get benefits of thread-local freely aliasing + mutating, but then keep the pros of linearity?