TypeConstraints eingeführt. GA läuft nun mit Typbedingung.