Why does this need a new language? Aren't there existing languages where these concepts can be expressed?