Similar to a unified theory.
In fact, what’s the difference between a theory and a well formed language?