Intercambio de COQ a HOOK| Convierte Coq Inu a Hooked Protocol en SimpleSwap