(n+k) patterns are still causing difficulties in the syntax.
I would be happy with the following:
On a lhs, only allow (n+k) patterns in arguments.
Thus
n+1 = ...
is ALWAYS a definition of (+), but
f (n+1) = ....
case m of {n+1 -> ...}
are still allowed. Would that make life easier? -- P
