Start writing a macro expander