Use HsExpansion for patterns

The HsExpansion mechanism outlined in Note [Rebindable syntax and HsExpansion] currently only applies to expressions, but it should also apply to patterns (as overloaded literals can appear in patterns).

Any refactoring of overloaded literals to use HsExpansion will need to address expansion in patterns, as @simonpj notes in this comment on issue 17582.