Meta-language to describe types in a language-independent way for a "C-API"...