- Was sind / wofür brauch man TTO und Classes
- Unify löst auch zirkuläre Abhängigkeiten a <. b <. c <. a
	- Tests dazu?
	- Prüfung im Builder?
	
- Unterschied Wildcard und FreshWildcard, ExtendsWildcard und FreshExtendsWildcard etc...
	- FreshWildcard = TPH für Wildcards?

- Warum ist result von unify = Menge<Menge<Pair>> und nicht Menge<Pair>

- Menge Equals überarbeiten (Momentan Reihenfolgensensitiv)

- Wie kommen die Mengen des Unify-Algorithmus zustande? Siehe test: 		
		/*
		 * Test b <. a, a <. b
		 */
	
	
	
		 
- Transitiven Abschluss von FC bilden um schneller Subtypen bestimmen zu können	 
		 	 - Problem: 2 FCs  für Pairs und MPairs durch das Mapping
- Equals der Typen schreiben um instanceof Prüfungen zu vermeiden

- Refactoring der Klassen Menge und Pair erlaubt?

SPEED UP
	- Anwendungsreihenfolge der Regeln (wahrscheinlichste zuerst, evtl ist nach regel 1 regel 2 nie möglich etc...)
		- Erase vor Reduce
		- Rechenarm vor rechenintensiv