Typho, and export ChecktypeError