Intercambio de TYPE a COQ| Convierte TypeIt a Coq Inu en SimpleSwap