The Val language idea that you guys are proposing by integrating static language with dynamic compile time Valet language is very promising, me think this duality approach is going to be very popular in programming language design soon. From my observations, this duality feature has a great potential in catering for data-intensive applications. Think of the combination of dynamic of R with static Fortran, but implemented and combined in a seamless modern language package!
Personally, I'd prefer to use existing stable language like D language with excellent CTFE support to create a dynamic language but then that's just me.
For an excellent language that support both dynamic and static language please check Stanza language [1]. It's now powering the electronic design startup JITX (YC S18).
p/s: the naming duo for Val and Valet is also cool, like chip and chiplet concept