Add destructuring of irrefutable tuplestructs
destructure a tuplestruct with a generic arg