Renaming things isn't something you as a programmer should have to do; that should be handled behind the scenes by the desugaring system / macro expander. So ye

Renaming things isn't something you as a programmer should have to do; that should be handled behind the scenes by the desugaring system / macro expander. So yeah, I'd say that's a fine piece of sugar.