Added Show instances to CompilingPatternMatching.

They're written in a pretty ugly fashion, but they also make reading
the output of `main` a lot easier.
Completed implementation of at-patterns in CompilingPatternMatching.

Edits in Show instances are unrelated -- just to shut up -Wall.