Vertauscht den zweiten Kindknoten des aktuellen SimpleNode mit dem zweiten Kindknoten
des ersten Kindknoten des aktuellen SimpleNode, falls der erste Kindknoten des aktuellen
SimpleNode vom Typ cons ist und den Namen name trägt.
Spezielle Version von down(int cons, String name),
die allerdingsberücksichtigt, dass Addition und Subtraktion bei der Linksklammerung
gleichgestellt sind.
Liefert eine IntegerListe, die an i-ter Stelle die Länge des String-Ausdrucks enthält, der dem i-ten
Knoten in der Sring-Repraesentation unter Beruecksichtigung der Klammerung gemaess Praezedenzen entspricht.
Liefert eine IntegerListe, die an i-ter Stelle die Länge des String-Ausdrucks enthält, der dem i-ten
Knoten in der Sring-Repraesentation unter Beruecksichtigung der Klammerung gemaess Praezedenzen entspricht.