Re: n+k patterns

[Joe Fasel]

|Another question along the same lines: What if (+) has been rebound?
|Are n+k patterns still allowed?
|
|        -- Lennart

The answer should be that n+k patterns are still allowed, but (+), (-),
and (>=) from PreludeCore are used in the translation.

--Joe