Besseres delete und einfacheres forall/exist

delete macht jetzt nicht mehr in hundertausend schritten aus dem linken
Teilbaum eine linked list, sondern nimmt einfach das größte element des
rechten Teilbaums als neues Wurzelelement (so wie das auch vermutlich
gedacht war).
forall und exists verwenden jetzt Baumtraversierung und forall? und
exist? aus Seq. Dass macht die Definition um einiges kleiner

Ich werde es auch direkt hochladen

Tim