Add comment
Rename macro-injected toplevel binding for hygiene