Fixed bug in CompilingPatternMatching, added example from paper.