Вы слишком застенчивы с тем, что пытаетесь осуществить.
Но я сделаю категорическое утверждение: если вы пытаетесь реализовать язык с указанными вами мерами прокси и не являетесь опытным разработчиком языка (например, по крайней мере, одна успешная, новая, рабочая, используемая и используемая реализация ) ты над головой.
Вам не хватает опыта, чтобы превратить вашу простую языковую идею в правильную форму, или у вас есть целевой язык, который настолько сложен, что его невозможно будет использовать. То есть, если так сложно заставить компилятор понять это, человек никогда не сможет это понять.
Моя рекомендация: остановиться, сделать шаг назад, переосмыслить то, чего вы пытаетесь достичь, изучить другие реализации, посмотреть, действительно ли у вас есть что-то невыразимое на других языках. И если вы выполнили всю эту домашнюю работу и обнаружили, что по-прежнему хотите развивать свой язык, то у вас будет точка зрения, которой у вас не было раньше.
Язык дизайна очень, очень трудно сделать хорошо.