How is it different from mere syntactic sugar over the same programming concepts? What does it bring that C++ cannot do?

Isn't it just a way of controlling the language vs using normative bodies?

Well for one, in addition to templates it has definition checked generics. That alone justifies it to me, but it's far from the only improvement.