Macro validation.
Allow dropped variables (i.e. make macros lensy)