Subida del taller de inferencia de tipos