semantic: Add anonymous aggregate variables and silently rewrite appropriate lookups through them.