Pure Macros as a Programming Language