Why not use a LLM bridge here? Either as directly interpretation -> execution

Or as a tool to find a way of to formalize, to find distinctive areas where it's possible and where not. Just a thought...