I think these formal languages seem to be products built by the latest wave of generative AI startups. Most are not building new models, theyre formalizing interaction with dalle/stable diffusion/Midjourney/chatgpt to solve a customer prob