alles nur syntaktischer Zucker

Ist nicht jedes Feature einer Programmiersprache letztendlich syntaktischer Zucker, abgesehen von so Sachen wie +, -, *, / ...?

+ - * / sind auch syntaktischer Zucker: Für operator+(a, b) oder a.operator+(b)

Nein, es ist nicht alles syntaktischer Zucker. Syntaxelemente, in denen sich unmittelbar zugrundeliegende Abstraktionen widerspiegeln, sind kein syntaktischer Zucker. Zum Beispiel die Notation für Funktionenaufruf und die Vereinbarung lokaler Variablen. Das möchte man nicht durch Stackpointer-Verschiebungen selbst machen müssen.

nachtfeuer

Nein, es gibt auch syntaktischen Schwachsinn, siehe z.B. Java.

Andere Sachen sollen der Sicherheit von Programmen dienen, der Wartbarkeit, der Modularisierbarkeit bzw. Strukturierung von Programmen oder eben der Übertragbarkeit zwischen unterschiedlichen Plattformen.
Außerdem gibt es stärkere Standardisierung, vergleiche hierzu die Grammatik von verfügbaren C-Compilern und Assemblern.
(Und auch mit Pseudocode in aktuellen Programmierbüchern oder auf Wiki-Seiten)
Bestimmte Zusatzsprachen sind zum Teil auch Betriebssystemsprachen, welche sich in die Bedienung, Programmierbarkeit des Systems integrieren.
Letztlich gibt es Abstraktionen und Gestaltungspläne, welche sich auf die Schwächen von vorherigen Programmiersprachen beziehen. Diese haben dann eher "Patch"-Charakteristik.
Andere Sprachen wiederum versuchen sogar, neue Hardwarestrukturen (oder Denkweisen oder Arbeitsabläufe an sich oder neue Perspektiven) zu erzwingen/erleichtern.
(Siehe z.B. https://de.wikipedia.org/wiki/Lisp-Maschine oder https://de.wikipedia.org/wiki/Emacs

In der Mikrocontrollerwelt gibt es viele kleine, hardwaretechnisch unterschiedliche Prozessoren, darum sind hier (bewährte) Hochsprachencompiler sehr beliebt.
Siehe auch:
https://wr.informatik.uni-hamburg.de/_media/teaching/sommersemester_2011/cgk11-thomas-geschichte-praesentation.pdf
oder
http://www.bernd-leitenberger.de/programmiersprachen-geschichte.shtml

Für Unternehmen kann eine gute Hochsprache wirtschaftlichen Gewinn durch bessere Programme oder mehr Produktivität (mehr Programme) bewirken.
(Für Subkulturen winken neue Eliteecken und -praktiken)