Intercambio de BYTE a COQ| Convierte ByteNova a Coq Inu en SimpleSwap