chequeo de tipos