Moved macro implementation from Matchers to CompileMacro.