Syntax for cross-language type definitions (official repository)