Support thin arrow syntax in macros

It seems like `=>` is hardcoded; at least for the moment, I'd love for `->` thin arrow syntax to land also when infix operators are announced.