Well-formedness inspection

Last modified: 01 April 2025

Reports illegal usages of formal notation within #macro and #set directives.