allow existing vars in linear destruct

[tjhance]

I frequently want to do a destruction,

linear var Foo(a) := foo;

where a is an existing linear var (e.g., the out parameter of the method I'm writing). This is currently not possible. As a workaround I always have to do

linear var Foo(a_tmp) := foo;
a := a_tmp;