Πώς ονομάζεται ο έλεγχος όπως το if ('payload' in data), που χρησιμοποιείται για τη συρρίκνωση του τύπου;