Inferidor de tipos terminado