Don't generate catch-all failure branch when pattern synonym rhs is irrefutable
mkBootModDetailsTc: include PatSyns in result
HsPatSynDetails can contain anything, not just (variable) names
PatSynSig: pattern synonym type signatures
Use pattern synonym signature syntax in :info format of pattern synonyms
Simplify PatSyn interface
Add Functor, Foldable and Traversable instances to HsPatSynDetails