Как се нарича проверката като if ('payload' in data), използвана за стесняване на типа?