Intercambio de WAL a TRVL| Convierte Walrus a TRVL en SimpleSwap