Test-case for github issue #172

The problem is that the pattern ``x: bool -> bool`` is matching
everything.
Fix bug in pattern-matching within user-pretty-printers.

Closes #172.