А чтоб не рекомпилить интерпритатор языка каждый раз, когда оказывается, что в доменной области есть вот такой интересный тип у нас есть два выхода. 1) Не юзать операторы 2) Давать переопределять операторы
Типо у нас в той же математике символы + используются по разному, поэтому было бы круто, чтоб какой-то мотемотик посмотрел в код и сразу понял, что там происходит даже не читая