ну байткод без VM невозможен, так что да.

Оставить только bytecode interpreter

ты мне чего хочешь доказать-то? что есть движки со скриптами? есть.
что это полезное и хорошее дело? сомнительно, т.к. никаких плюсов я не увидел, кроме возможности покопаться какому-то юзеру в твоём коде и что-то там поломать, а потом ныть на весь интернет что игра говно и вообще не работает.
разьве что для устаревшего хламища это всё полезно и нужно, т.к. оригинальные авторы давно забили на какашки мамонта, а кому-то там хочется в 4к графон в халфе...

Если не считать каких-то вещей типа https://github.com/nim-lang/RFCs/issues/216 и передвижений с сборщиками мусора то за последний условно год (?) не так уж и много добавилось в сам язык. Больше вещей в стандартной библиотеке и fusion но это не так критично

вещей типа == примерный уровень повышения сложности такой же (небольшие послабления в синтаксисе или поддержка довольно логичного функционала)

девачки нисорьтесь

Юнити отклоняется даже больше в сторону конструкторов игр, а не фреймворков. Поэтому его и называют игровым движком.
Шарп компилируется. ДА. Нет смысла называть его скриптовым языком. Но отсутствие скриптового языка не делает игровой движок чем-то другим. (нет. я не защищаю эту помойку)
Должно ли что-то компилироваться или нет - сложный и странный вопрос. В айти слишком много подобных вопросов, на которые ты можешь дать только один ответ - зависит от целой кучи факторов и в первую очередь от проекта и команды, которая данный продукт разрабатывает.

как-то сомнительно преимущество компиляции в момент разработки. На каждый чих в логике происходит пересборка всех скриптов. В проде - да, огонь, но при разработке - адъ.

Я специально написал что в прод компилится, а в дев - нет

сорян, не заметил

Всегда должно делаться так, чтобы было удобно. Вот только удобно субъективно.

Возвращаясь к ниму — как сделать один тип implicitly конвертируемым в другой?

Наследованием нарно. Но в стдлибе везде explicit касты

А converter кейворд это не оно?

Похоже что оно

а оно вроде вообще депрекейтед

Но в мануале лежит

я где-то вычитал что его не очень надо юзать

Синтаксический шум убрать хочу

если у меня seq[Entity] а я в неё хочу ложить разные штуки, которые можно завернуть в Entity, каждый раз писать toEntity я принципиально не желаю