Z-CGa typing rules of MathLang