Design-Entscheidung: wann wird geprüft?
Jeder Ausdruck (der im Quelltext steht) hat genau einen Typ.
...zur Laufzeit hat dann jeder Wert des Ausdrucks immer diesen Typ.
mangelnde Strenge rächt sich immer, früher oder später (je später, desto schlimmer) ...