New feature: f(a,a) in a pattern match implies a=a
This is quickly turning into a pathological experiment in pattern
matching :)
Also, the prime example is now shorter and clearer (`mod` is) because it makes use of this.