Add basic pattern synonyms for common types.

The code-base now depends on ghc-7.8.3, for its PatternSynonyms
extension.