einzelne Variable typisieren: allgemeine Regeln erscheinen rechts vom Baum
Beim Typisieren einer einzelnen Variable (z.B. "a"), egal ob mit oder ohne Eintrag in der Typumgebung, erscheinen die allgemeinen Regeln aus dem linken Drawer im Baum-Fenster rechts vom eigentlichen Baum (s. hier). Die Typinferenz wird trotzdem richtig ausgeführt.