Yes. Almost the whole point of wanting a more expressive implementation language is so that you can more easily and directly implement a wider range of more restrictive, more declarative languages in it, AND to lower the friction of moving information into, out of and between those sublanguages. Thesis, antithesis, synthesis, five cents please. &#x2F;thread.