Use pattern synonym signature syntax in :info format of pattern synonyms
Simplify PatSyn interface
Add Functor, Foldable and Traversable instances to HsPatSynDetails