Улучшено определение наиболее узкого общего типа.