Intercambio de COQ a TAP| Convierte Coq Inu a Tap Protocol en SimpleSwap