Ya con TypeCheck listo en 99%