Intercambio de COQ a SHELL| Convierte Coq Inu a MyShell en SimpleSwap