from micro-rant to macro-feature

[Wolfgang Jeltsch]

Hello,
> [...]
> I had either not realized, or forgotten, that unary minus could be used in
> patterns, that is indeed an important feature.

Okay, that is right.
Maybe it would be good to make the unary minus part of the numeric literal 
syntax and thus allowing only constants to be negated. This would allow 
pattern matching against negative constants. And for negating results of 
arbitrary expressions one could use the negate function.
Well, this would still leave some problems with sections for example.

> [...]

Wolfgang