further optimized PUT, TAKE, TRY-PUT and TRY-TAKE on tvars