interface UserRe-exportimport { type User } from "https://deno.land/x/mtkruto@0.6.3/mod.ts"; A user. Propertiesid: numberUnique identifier for this user or bot color: numberIdentifier of color that can be displayed instead of the user's photo. isBot: booleanWhether the user is a bot. firstName: stringThe first name of the user. optionallastName: stringThe last name of the user. optionalusername: stringThe user’s main username. optionalalso: string[]The user's additional usernames. optionalphoto: ChatPhotoThe user's profile photo. optionallanguageCode: stringThe user's IETF language tag. isScam: booleanWhether the user has been identified as scam. isFake: booleanWhether the user has been identified as an impersonator. isPremium: booleanWhether the user is subscribed to Telegram Premium. isVerified: booleanWhether the user has been verified. isSupport: booleanWhether the user is official support. addedToAttachmentMenu: booleanWhether the user is a bot that has been added to the attachment menu by the current user.