Можете объяснить, что такое проверка типа (Type Guard) и как она используется в TypeScript?