Sounds intriguing. What would be the primitives of such a language? Will it be similar to a formal system?