tuple: re-write tup_cons, tup_conv, tup_assign