tcLookupPatSyn: look up the PatSyn record for a given Id
Typecheck the wrapper definition of a pattern synonym,
after everything in the same scope is typechecked
When computing minimal recursive sets of bindings, don't include
references in wrapper definitions for explicitly-bidirectional
pattern synonyms
Add test case for explicitly-bidirectional pattern synonym