Typparameter in generischen Kombinations-Aliasen

Im Moment haben generische Kombinationen das Problem, dass ihre Aliase nicht immer alle Typparameter ausfüllen.

Daher schlage ich folgende Syntax vor:
```ddp
Wir nennen die generische Kombination aus
    dem T a,
    dem R b,
eine Struktur und erstellen sie so:
    "eine <T>-<R> Struktur"
```