Semantic checks for GlobalMacros.
Semantic checks for Macro.
Semantic checks for CodeBlock.