remove aux syntax for syntax-rules