TYPE in COQ Handel | Konvertieren von TypeIt in Coq Inu auf SimpleSwap