Cel mai mic in ordinea generalitatii.
De exemplu perechea ('a',True) poate aparent fi din tipurile
(x, Bool) sau (Char, y) sau (Char, Bool) sau chiar (x,y)
unde x y sunt tipuri necunoscute.
Va fi ales: (Char, Bool) ca fiind cel minimal, cel mai precis.