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