tcPat: typecheck & instantiate pattern synonym patterns into SynPatOut
Desugaring for SynPatOut