Объясните мне, как вы для себя разобрались в моделях типизаций — они же все размыты

Серьезно? Похоже, вы прогуливали уроки математики: 2 + -2 = 0; 2 — -2 =4

Нет чувак, похоже это всё таки ты прогуливал уроки математики, ахаах. Сумм(2,-2) это 2 + (-2) = 2 == разность. А 2 — -2 =4 это Разн(2,-2) == будет сумма. Тут ты лоханулся)