Generics fast überall refakturiert: Hauptziel war, dass Relations nun
nicht mehr einen vorgegebenen Typ (ElementType extends Type<Element>)
als Übergang verwenden, sondern irgendeinen zum Element passenden Typ
(Type<Element> c).
Folge ist dann, dass der RelationManager, der Automaten und die gesamten
regulären Ausdrücke keinem Typ mehr entsprechen müssen, sondern halt auf
irgendeinem passenden Type<Element> arbeiten.
Testfälle entsprechend.