Fix Term Evaulierung. Terme wurden unter Umständen falsch erkannt.

Fix Semantic für Typ Bestimmung: Nun werden auch negative Typen korrekt
bestimmt.
Clean up: Unnötige Funktionen entfernt.