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