interface Userimport { type User } from "https://dotland.deno.dev/x/grammy@v1.22.4/types.web.ts"; This object represents a Telegram user or bot. Propertiesid: numberUnique identifier for this user or bot. is_bot: booleanTrue, if this user is a bot first_name: stringUser's or bot's first name optionallast_name: stringUser's or bot's last name optionalusername: stringUser's or bot's username optionallanguage_code: stringIETF language tag of the user's language optionalis_premium: trueTrue, if this user is a Telegram Premium user optionaladded_to_attachment_menu: trueTrue, if this user added the bot to the attachment menu import Userimport { User } from "https://dotland.deno.dev/x/grammy@v1.22.4/types.web.ts";