Синтетический плагин для языка NuXmv для Intellij IDEA (для всех)

Я сейчас пишу плагин для Intellij IDEA, который добавляет поддержку языка NuXmv. Базовая функциональность реализована, мне нужна помощь с реализацией дополнительных фичей, связанных с интеграцией плагина в экосистему Intellij IDEA: * Поиск именованных элементов для последующего рефакторинга * Валидация типов в выражениях При разработке используется Java 21 и Kotlin