isSynTyCon is true of type *family* TyCons, which *are* allowed in TyConAppCo (cherry picked from commit 3fd7f543)