Add an example to the Redex typesetting docs that discusses how
macros screw up syntax locations and what to do about it

Thanks to Lindsey Kuper for the inspiration to do this