DmdAnal: Better syntax for demand signatures (#19016)
The update of the Outputable instance resulted in a slew of
documentation changes within Notes that used the old syntax.
The most important doc changes are to Note [Demand notation]
and the user's guide.
Fixes #19016 (closed).