Fiddling with the examples
Fix inconsistency in pattern matcher

This was causing constructors with no arguments to be identified with
each other in pattern matching.