...
если мы вводим понятие "правильно-неправильно" - это дихотомия
...
если не меняется, хоть горшком назови, значит, в любой ТИМ типнули правильно
...
Не так, правильно/неправильно - это не дихотомия, поэтому и дальнейшее твое рассуждение неверно. Если типоопределение приводит к сдвигу в поведении, это значит имеем подстройку под тип. Если сдвига не произошло, это еще не гарантирует верности типирования, может, челу просто фиолетово, какой у него там тип ,-)