Kotlin creator's new language: a formal way to talk to LLMs instead of English