Câmbio de COQ para TYPE| Converter Coq Inu para TypeIt no SimpleSwap