Create SigTyVars for existentials under tcPat when typechecking a PatSyn
with a type signature