Fix #4195 (isGadtSyntaxTyCon returns opposite result)